论文部分内容阅读
分析了描述逻辑循环术语集的研究现状和存在的问题，在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS（least common subsumer）和MSC（most specific concept）推理问题．给出了εL混合循环术语集的语法和语义．针对εL混合循环术语集LCS和MSC推理的需要，提出了TBox-完全的概念，并重新定义了描述图．使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法，证明了推理算法的正确性，并证明了推理算法是多项式时