语义Web语言的逻辑分析

摘要

语义Web作为新一代Web正倍受关注,而Web的资源描述语言RDF、RDF的词汇描述RDFSchema,以及最新的本体语言OWL等已成为现今语义Web上的规范语言.本文从逻辑视角来分析这些语义Web语言,首先指出RDF(S)的语义是基于非经典的模型论语义,其次阐明在此基础上扩展到表达能力更强的基于描述逻辑的本体语言OWL的困难,最后分别概述了OWL与RDF(S)、OWL与描述逻辑之间的关系.对语义Web语言的逻辑分析将有助于更好地理解语义Web,并为下一步的实际应用奠定基础。