网络语言OWL

研究背景与问题提出

网络本体语言（Web Ontology Language, OWL）是由W3C机构研发的一种专门用于实现本体语义描述的表达方式。

在众多用户看来，RDF Schema作为一种本体描述语言，已经具备了较为充足的表达能力。不过，在某些具体应用场景中，需要更加丰富的表达形式，例如实例分类、一致性验证以及归纳推理等操作。OWL通过将描述逻辑（DL）中的公理转化为RDF三元组的形式加以实现，其语义层面与RDF(S)之间保持了良好的兼容性。

OWL目前存在两个版本：OWL 1.0 与 OWL2。相较于前者，后者在表达能力方面实现了显著提升。

OWL 1.0概述与应用

OWL功能的多个子集衍生出以下几种子语言（OWL 1.0 Species），在这些表征语言的表达能力与基于该语言构建的表征进行推理的复杂程度之间，存在一定的平衡关系：

OWL Lite

OWL DL

OWL Full

2.1 Ontology header

    <> rdf:type owl:Ontology ;
       owl:versionInfo “1.4” ;
       rdfs:comment “An example ontology” ;
       owl:imports <http://example.o