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

摘要：

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

关键词：描述逻辑、混合循环术语集、不动点语义、描述语义、LCS(least common subsumer)、MSC(most specific concept)

所属期刊栏目：19

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

资助基金：the National Natural Science Foundation of China under Grant Nos.60663001, 60673135, 60373081, 60573010;the Postdoctoral Science Foundation of China under Grant No.20060400226 中国博士后科学基金;the Program for New Century Excellent Talents University;the Natural Science Key Foundation of Guangdong Province of China under Grant No.04105503;the Natural Science Foundation of Guangxi Province of China under Grant Nos.0640030, 0832103

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

页数：共15页

页码：2483-2497