%0 Journal Article
%T 描述逻辑εL混合循环术语集的LCS和MSC推理
%A 蒋运承
%A 王 驹
%A 周生明
%A 汤 庸
%J 软件学报
%D 2008
%I 
%X 分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了ε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.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=7539B3EA6656474AD5B97B0A79EE0266&yid=67289AFF6305E306&vid=2A8D03AD8076A2E3&iid=F3090AE9B60B7ED1&sid=2C1BC72871CFCFEC&eid=03917A4D377EB981&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=17