描述逻辑εL循环术语集的混合推理 |
| |
引用本文: | 蒋运承, 王 驹, 周生明, 汤 庸. 描述逻辑εL循环术语集的混合推理[J]. 计算机研究与发展, 2009, 46(1): 15-22. |
| |
作者姓名: | 蒋运承 王驹 周生明 汤庸 |
| |
作者单位: | 广西师范大学计算机科学与信息工程学院,广西桂林,541004;中山大学计算机科学系,广州,510275;广西师范大学计算机科学与信息工程学院,广西桂林,541004;中山大学计算机科学系,广州,510275 |
| |
基金项目: | ,广西科学研究与技术开发计划基金 |
| |
摘 要: | 循环术语集是描述逻辑长期以来的研究难点, 它最基本的问题即语义及推理问题没有得到合理的解决. 分析了描述逻辑循环术语集的研究现状和存在的问题, 在Baader和Brandt的基础上进一步研究了描述逻辑εL循环术语集的混合推理问题. 给出了εL的混合循环知识库的语法和语义(包括不动点语义和描述语义). 针对εL循环术语集混合推理的需要, 提出了TBox-完全的概念, 并重新定义了描述图(包括语法描述图和语义描述图).使用描述图之间的模拟关系和TBox-完全概念给出了最大不动点语义和描述语义下εL混合循环知识库的实例检测推理算法, 证明了推理算法的正确性, 并给出了推理算法的复杂性定理.
|
关 键 词: | 描述逻辑 循环术语集 不动点语义 描述语义 混合推理 |
本文献已被 CNKI 万方数据 等数据库收录! |
| 点击此处可从《计算机研究与发展》浏览原始摘要信息 |
|
点击此处可从《计算机研究与发展》下载全文 |
|