| 带RVM的描述逻辑εL混合循环术语集的语义及推理 |
| |
| 引用本文： | 蒋运承,王驹,周生明,汤庸.带RVM的描述逻辑εL混合循环术语集的语义及推理[J].模式识别与人工智能,2008,21(1). |
| |
| 作者姓名： | 蒋运承 王驹 周生明 汤庸 |
| |
| 作者单位： | 1. 广西师范大学,计算机科学与信息工程学院,桂林,541004;中山大学,计算机科学系,广州,510275
2. 广西师范大学,计算机科学与信息工程学院,桂林,541004
3. 中山大学,计算机科学系,广州,510275 |
| |
| 基金项目： | 国家自然科学基金，中国博士后科学基金，广西青年科学基金 |
| |
| 摘 要： | 分析描述逻辑循环术语集的研究现状和存在的问题,在F.Baader和S.Brandt的基础上进一步研究带RVM的描述逻辑εL混合循环术语集的语义及推理问题.给出带RVM的εL混合循环术语集的语法和语义.针对带RVM的εL混合循环术语集包含推理的需要,提出TBox-完全的概念,并重新定义描述图,使用描述图之间的模拟关系和TBox-完全给出最大不动点语义和描述语义下带RVM的εL混合循环术语集的概念包含推理算法,证明推理算法的正确性,并证明推理算法是多项式时间复杂的.
|
| 关 键 词： | 描述逻辑 混合循环术语集 不动点语义 描述语义 关系-值-映射(RVM) |
| 本文献已被 万方数据 等数据库收录！ |
|
