描述逻辑εL循环术语集的混合推理

摘要：

循环术语集是描述逻辑长期以来的研究难点,它最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader和Brandt的基础上进一步研究了描述逻辑εL循环术语集的混合推理问题.给出了εL的混合循环知识库的语法和语义(包括不动点语义和描述语义).针对εL循环术语集混合推理的需要.提出了TBox-完全的概念,并重新定义了描述图(包括语法描述图和语义描述图).使用描述图之间的模拟关系和TBox-完全概念给出了最大不动点语义和描述语义下εL混合循环知识库的实例检测推理算法,证明了推理算法的正确性,并给出了推理算法的复杂性定理.

关键词：描述逻辑、循环术语集、不动点语义、描述语义、混合推理

所属期刊栏目：46

分类号：TP301(计算技术、计算机技术)

资助基金：桂科青0640030,桂科自0832103;广西科学研究与技术开发计划基金项目桂科攻0719001-11

在线出版日期：2009-04-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：15-22