带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) |
本文献已被 万方数据 等数据库收录! |
|