描述逻辑εL混合循环术语集的LCS和MSC推理 |
| |
引用本文: | 蒋运承,王 驹,周生明,汤 庸.描述逻辑εL混合循环术语集的LCS和MSC推理[J].软件学报,2008,19(10):2483-2497. |
| |
作者姓名: | 蒋运承 王 驹 周生明 汤 庸 |
| |
作者单位: | 广西师范大学 计算机科学与信息工程学院,广西 桂林 541004; 中山大学 计算机科学系,广东 广州 510275;广西师范大学 计算机科学与信息工程学院,广西 桂林 541004;广西师范大学 计算机科学与信息工程学院,广西 桂林 541004;中山大学 计算机科学系,广东 广州 510275 |
| |
基金项目: | Supported by 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 (广西自然科学基金) |
| |
摘 要: | 分析了描述逻辑循环术语集的研究现状和存在的问题,在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) |
收稿时间: | 2007/1/22 0:00:00 |
修稿时间: | 2007/4/26 0:00:00 |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|