基于Tbox和Abox的描述逻辑推理研究

• 作者: 夏战锋 张灵峰 彭志平
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 描述逻辑 Tbox推理 Abox推理 可满足性 一致性
• 年，卷（期）: 2010,（11）
• 页码范围: 122-125,129
• 分类号: TP31
• 字数: 4404字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2010.11.030

摘要

语义Web的出现使得描述逻辑(Description Logic)成为研究的热点.它是近年来研究和发展最快的知识表示的形式化工具之一,具有强大的表达能力、可判定性以及有效推理等优点,其中推理服务是它的核心.首先重点讨论基于Tbox和Abox的推理任务;其次,详细阐述各算法以及相互间内在联系;最后,得出描述逻辑的所有推理都可以转化为基于Abox的一致性检测问题,并给出其算法及实现过程.在语义Web环境下,描述逻辑的推理服务可以提高机器的理解能力,实现机器完全自主化.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	彭志平	茂名学院实验教学部	34	224	9.0	14.0
2	张灵峰	茂名学院实验教学部	4	21	1.0	4.0
3	夏战锋	江苏科技大学计算机科学与工程学院	4	26	2.0	4.0