The server is under maintenance between 08:00 to 12:00 (GMT+08:00), and please visit later.
We apologize for any inconvenience caused
Login  | Sign Up  |  Oriprobe Inc. Feed
China/Asia On Demand
Journal Articles
Bookmark and Share
Logical Foundation of Semantic Web
Pages: 513-521
Year: Issue:  5
Journal: Pattern Recognition and Artificial Intelligence

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