|
|||||
|
|
| 语义Web的逻辑基础 | |
| 摘 要： | 分析了语义Web的逻辑基础.指出了语义Web语言RDF和RDF Schema的语义是基于非经典的模型论语义,阐明了在此基础上扩展到表达能力更强的基于描述逻辑的本体语言OWL的困难.然后描述了OWL对这些困难的解决方法,并概述了如何把OWL的本体推理归约到描述逻辑的知识库可满足性问题.最后介绍了在OWL的基础上纳入Horn子句规则的方法. |
| 关 键 词： | 语义Web 资源描述框架语言 资源描述框架语言语义 Web本体语言 描述逻辑 OWL规则语言 |
Logical Foundation of Semantic Web |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |