%0 Journal Article %T 描述逻辑εl混合循环术语集的lcs和msc推理 %A 蒋运承? %A 王驹? %A 周生明? %A 汤庸? %J 软件学报 %P 2483-2497 %D 2008 %X 分析了描述逻辑循环术语集的研究现状和存在的问题,在f.baader工作的基础上进一步研究了描述逻辑εl混合循环术语集的lcs(leastcommonsubsumer)和msc(mostspecificconcept)推理问题.给出了εl混合循环术语集的语法和语义.针对εl混合循环术语集lcs和msc推理的需要,提出了tbox-完全的概念,并重新定义了描述图.使用描述图和tbox-完全给出了最大不动点语义下εl混合循环术语集lcs和msc的推理算法,证明了推理算法的正确性,并证明了推理算法是多项式时间复杂的.该推理算法为(l混合循环术语集的lcs和msc推理提供了理论基础. %K 描述逻辑 %K 混合循环术语集 %K 不动点语义 %K 描述语义 %K lcs(least %K common %K subsumer) %K msc(most %K specific %K concept) %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20081001&flag=1