描述逻辑εLN循环术语集的不动点语义及推理

• 作者: 史忠植 汤庸 王驹 蒋运承
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 描述逻辑 εLN 循环术语集 描述图 模拟关系 不动点语义
• 年，卷（期）: 2009,（3）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 477-490
• 页数: 14页
• 分类号: TP301
• 字数: 14959字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2009.03215

摘要

循环术语集是描述逻辑长期以来的研究难点,其最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,将Baader的工作扩展到新的方向.针对更大的描述逻辑系统研究了循环术语集的语义及推理机制,即在描述逻辑εL的基础上添加数量约束构造算子,提出了描述逻辑εLN,给出了εLN的语义(包括不动点语义和描述语义).针对εLN的需要,重新定义了描述图(包括语法描述图和语义描述图).使用描述图之间的模拟关系给出了不动点语义下εLN循环术语集的可满足性和包含关系推理算法,并证明了推理算法是多项式时间复杂的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	史忠植	中国科学院计算技术研究所	232	9166	52.0	89.0
2	王驹	广西师范大学计算机科学与信息工程学院	53	458	11.0	19.0
3	蒋运承	广西师范大学计算机科学与信息工程学院	44	591	15.0	23.0
5	汤庸	中山大学计算机科学系	95	1243	20.0	30.0