广西研究生教育创新计划(2010105950812M24)
- 作品数：3 被引量：1H指数：1
- 相关作者：常亮古天龙马严伟黄聪李德波更多>>
- 相关机构：桂林电子科技大学更多>>
- 发文基金：广西研究生教育创新计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于OBDD的描述逻辑SHOIQ判定算法研究与实现
- 2011年
- 描述逻辑是语义Web的逻辑基础,已成为当前计算机科学和人工智能研究的热点。鉴于描述逻辑SHOIQ的经典判定算法在处理大规模问题上的不足,以OBDD能很好处理大规模问题为基础,给出了一种基于OBDD的SHOIQ判定算法。该算法利用相关规则和技术将SHOIQ知识库转化为OBDD,在此基础上进行SHOIQ知识库的一致性判定。最后基于该算法开发了推理机DLR_SHOIQ。
- 李德波古天龙常亮高西
- 关键词：描述逻辑一致性OBDD可满足性判定
- 基于OBDD的描述逻辑ALC判定算法
- 2012年
- 针对描述逻辑ALC的经典判定算法在处理大规模问题上的不足,而OBDD对于处理大规模问题有高效性,给出了一种基于OBDD的ALC判定算法并证明正确性。该算法根据ALC的概念的形式,计算所有子概念和每个子概念的否定形式的集合,然后根据该集合里的每个概念的形式构造出其相应的布尔函数,将布尔函数转化为OBDD的表示形式来进行概念的可满足性判定。
- 黄聪古天龙常亮
- 关键词：描述逻辑ALC布尔函数OBDD可满足性
- 描述逻辑ALC中的ABOX反绎推理算法被引量：1
- 2012年
- 鉴于已有的描述逻辑ALC中ABOX反绎推理算法需要转化到FOL上处理,涉及了大量变元和Skolem项的使用。ALC-Tableau可以避免大量变元和斯科伦项,给出了一种直接在ALC上处理ABOX反绎推理问题的算法。该算法将ABOX反绎推理问题转化为知识库的一致性问题,在此基础上结合反绎推理的自身特性对传统的Tableau构造过程进行扩充,最终借助一个回溯过程找出反绎问题的所有解。
- 马严伟古天龙常亮
- 关键词：TABLEAU
