首页 | 本学科首页   官方微博 | 高级检索  
     

描述逻辑εL混合循环术语集的LCS和MSC推理
引用本文:蒋运承,王驹,周生明,汤庸.描述逻辑εL混合循环术语集的LCS和MSC推理[J].软件学报,2008,19(10).
作者姓名:蒋运承  王驹  周生明  汤庸
作者单位:1. 广西师范大学,计算机科学与信息工程学院,广西,桂林,541004;中山大学,计算机科学系,广东,广州,510275
2. 广西师范大学,计算机科学与信息工程学院,广西,桂林,541004
3. 中山大学,计算机科学系,广东,广州,510275
基金项目:国家自然科学基金,中国博士后科学基金,教育部跨世纪优秀人才培养计划,广东省自然科学基金,广西自然科学基金
摘    要:分析了描述逻辑循环术语集的研究现状和存在的问题,在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
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号