语义Web的逻辑基础

• 来源期刊: 模式识别与人工智能
• 学科: 工学
• 关键词: 语义Web 资源描述框架语言 资源描述框架语言语义 Web本体语言 描述逻辑 OWL规则语言
• 年，卷（期）: 2005,（5）
• 所属期刊栏目: 论文与报告
• 页码范围: 513-521
• 页数: 9页
• 分类号: TB86|TP393
• 字数: 9457字
• 语种: 中文

摘要

分析了语义Web的逻辑基础.指出了语义Web语言RDF和RDF Schema的语义是基于非经典的模型论语义,阐明了在此基础上扩展到表达能力更强的基于描述逻辑的本体语言OWL的困难.然后描述了OWL对这些困难的解决方法,并概述了如何把OWL的本体推理归约到描述逻辑的知识库可满足性问题.最后介绍了在OWL的基础上纳入Horn子句规则的方法.