描述逻辑ALC基于RBox的推理 |
| |
引用本文: | 王雪瑞,李拴保.描述逻辑ALC基于RBox的推理[J].湘潭大学自然科学学报,2014(2):104-108. |
| |
作者姓名: | 王雪瑞 李拴保 |
| |
作者单位: | 河南工程学院计算机科学与技术学院;河南财政税务高等专科学校信息工程系 |
| |
摘 要: | 针对RBox表达能力受限于简单角色的问题,研究了在角色包含公式中允许出现一类由合取和析取构造子连接的复杂角色,并且TBox和ABox均为空集的情况下ALC概念的可满足性问题,设计了可满足性检测表算法,分析了算法的终止性,证明了可靠性和完备性,最后讨论了复杂度.理论分析表明,此时ALC概念的可满足性问题是可判定的,并且复杂度为ExpTime.
|
关 键 词: | 描述逻辑 角色包含公式 可满足性 表算法 复杂度 |
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《湘潭大学自然科学学报》浏览原始摘要信息 |
| 点击此处可从《湘潭大学自然科学学报》下载免费的PDF全文 |
|