语义网的一阶逻辑推理技术支持

• 作者: 张健 徐贵红
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 语义网推理 一阶逻辑 描述逻辑 本体 可满足性
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 3091-3099
• 页数: 9页
• 分类号: TP301
• 字数: 7331字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2008.03091

摘要

研究了一阶逻辑推理工具对语义网的推理支持.语义网的关键推理问题可以化为公式的可满足性判定问题.一阶逻辑的自动定理证明器可以证明不可满足性,而有限模型查找器为可满足的公式在有限域内构造模型.提出在语义网的推理中,同时使用定理证明器和有限模型查找器.实验结果表明,这样可以解决描述逻辑工具的不足,并可以弥补定理证明器对可满足的公式推理的不完备性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张健		5	162	5.0	5.0