摘要
分析了语义Web的逻辑基础。指出了语义Web语言RDF和RDF Schema的语义是基于非经典的模型论语义,阐明了在此基础上扩展到表达能力更强的基于描述逻辑的本体语言OWL的困难,然后描述了OWL对这些困难的解决方法,并概述了如何把OWL的本体推理归约到描述逻辑的知识库可满足性问题。最后介绍了在OWL的基础上纳入Horn子句规则的方法。
The next generation Web, Semantic Web, has recently been drawn considerable attention from both academia and industry. The goal of this paper is to analyze the logical foundations of Semantic Web. We point out that the semantics of RDF and RDF Schema is based on non-classical Model-Theoretic Semantics, as well as clarifying the problems of layering more expressible web ontology language OWL on RDF（S） and describing the solutions of OWL for the layering problems. Meanwhile we show how to reduce OWL ontology entailment to knowledge base satisfiability in description logics and introduce the method of integrating OWL with Horn clause rules, which adds more expressive power to Semantic Web languages.
出处
《模式识别与人工智能》
EI
CSCD
北大核心
2005年第5期513-521,共9页
Pattern Recognition and Artificial Intelligence
关键词
语义WEB
资源描述框架语言
资源描述框架语言语义
WEB本体语言
描述逻辑
OWL规则语言
Semantic Web, Resource Description Language, Resource Description Language Semantics, Web Ontology Language （OWL）, Description Logic, OWL Rules Language （ORL）
