OWL学习笔记一
时间：2006-09-18 来源：gjq5774
* XML (http://www.w3.org/XML/)提供了一种结构化文档的表层语法，但没有对这些文档的含义施加任何语义约束。
* XML Schema (http://www.w3.org/XML/Schema)是一个约束XML文档结构和为XML扩充了数据类型的语言。
* RDF (http://www.w3.org/TR/2002/WD-rdf-concepts-20021108/)是一个关于对象（或资源）和它们之间关系的数据模型，且为 该数据模型提供了简单的语义，这个数据模型能够用XML语法表示。
* RDF Schema (http://www.w3.org/TR/2002/WD-rdf-schema-20021112/)是一个描述RDF资源的属性（property）和类（classe） 的词汇表，提供了关于这些属性和类的层次结构的语义。
* OWL 添加了更多的用于描述属性和类的词汇，例如类之间的不相交性（disjointness）、基数（cardinality，如刚好一个）、 等价性、属性的更丰富类型、属性特征（例如对称性）、以及枚举类(enumerated classes)。 OWL旨在用于那些需要由应用程序而不是由人类来处理文档中的信息的情形。OWL可被用来明确表示词汇表中术语的含义以及术语间的关系。如此表示的术语及术语间的关系的表示被称为本体(ontology)。在表达含义和语义方面，OWL比XML、RDF和RDF-S有更多的表达手段，因此在Web上表达机器可理解内容的能力也比这些语言强。OWL是DAML+OIL Web本体语言 (http://www.w3.org/TR/2004/REC-owl-features-20040210/#DAMLReference)的修改版，并吸取了在DAML+OIL的设计和应用中得到的经验教训。 OWL语言的使用：
* 通过定义类以及类的属性来形式化某个领域；
* 定义个体并说明它们之间的属性；
* 在OWL语言的形式化语义允许的层次上，对类和个体进行推理。
OWL提供了三种表达能力递增的子语言，以分别用于特定的实现者和用户团体。 * OWL Lite用于提供给那些只需要一个分类层次和简单约束的用户。例如，虽然OWL Lite支持支持基数限制，但只允许基数为0或1。提供支持OWL Lite的工具应该比支持其他表达能力更强的OWL子语言更简单，并且从辞典（thesauri）和分类系统（taxonomy）转换到OWL Lite更为迅速。相比OWL DL，OWL Lite还具有更低的形式复杂度，详细信息参考OWL 参考（OWL Reference）的OWL Lite部分 (http://www.w3.org/TR/owl-ref/#OWLLite)。
* OWL DL用于支持那些需要最强表达能力而需要保持计算完备性（computational completeness，即所有的结论都能够确保被计算出来）和可判定性（decidability，即所有的计算都能在有限的时间内完成）。OWL DL包括了OWL语言的所有语言成分，但使用时必须符合一定的约束，例如，一个类可以是多个类的子类时，但它不能同时是另外一个类的实例。OWL DL 这么命名是因为它对应于描述逻辑，它是一个研究作为OWL形式基础的逻辑的研究领域。
* OWL Full支持那些需要尽管没有可计算性保证，但有最强的表达能力和完全自由的RDF语法的用户。例如，在 OWL Full中，一个类可以被同时看为许多个体的一个集合以及本身作为一个个体。它允许在一个本体增加预定义的（RDF、OWL）词汇的含义。这样，不太可能有推理软件能支持对OWL FULL的所有成分的完全推理。 * 每个合法的OWL Lite本体都是一个合法的OWL DL本体； * 每个合法的OWL DL本体都是一个合法的OWL Full本体；
* 每个有效的OWL Lite结论都是一个有效的OWL DL结论； * 每个有效的OWL DL结论都是一个有效的OWL Full结论。 OWL Full可以看成是对RDF的扩展，而 OWL Lite和OWL DL可以看成是对一个受限的RDF版本的扩展。所有的OWL文档（Lite，DL，Full）都是一个RDF文档；所有的RDF文档都是一个OWL Full文档，但只有一些RDF文档是一个合法的OWL Lite和OWL DL文档。
OWL Lite语言的构词（constructs）如下列出： RDF Schema特性：
* Class (Thing, Nothing)
* rdfs:subClassOf
* rdf:Property
* rdfs:subPropertyOf
* rdfs:domain
* rdfs:range
* Individual (不)等价性：
* equivalentClass
* equivalentProperty
* sameAs
* differentFrom
* AllDifferent
* distinctMembers 属性特征：
* ObjectProperty
* DatatypeProperty
* inverseOf
* TransitiveProperty
* SymmetricProperty
* FunctionalProperty
* InverseFunctionalProperty 属性约束：
* Restriction
* onProperty
* allValuesFrom
* someValuesFrom 受限基数：
* minCardinality (仅仅0或1)
* maxCardinality (仅仅0或1)
* cardinality (仅仅0或1) 头信息：
* Ontology
* imports 类的交集：
* intersectionOf 版本信息：
* versionInfo
* priorVersion
* backwardCompatibleWith
* incompatibleWith
* DeprecatedClass
* DeprecatedProperty 注解属性：
* rdfs:label
* rdfs:comment
* rdfs:seeAlso
* rdfs:isDefinedBy
* AnnotationProperty
* OntologyProperty 数据类型：
* xsd datatypes
OWL DL和Full概要： 类的公理：
* oneOf, dataRange
* disjointWith
* equivalentClass (可应用于类表达式)
* rdfs:subClassOf (可应用于类表达式) 类表达式的布尔组合：
* unionOf
* complementOf
* intersectionOf 任意的基数：
* minCardinality
* maxCardinality
* cardinality 填充值信息：
* hasValue
* XML Schema (http://www.w3.org/XML/Schema)是一个约束XML文档结构和为XML扩充了数据类型的语言。
* RDF (http://www.w3.org/TR/2002/WD-rdf-concepts-20021108/)是一个关于对象（或资源）和它们之间关系的数据模型，且为 该数据模型提供了简单的语义，这个数据模型能够用XML语法表示。
* RDF Schema (http://www.w3.org/TR/2002/WD-rdf-schema-20021112/)是一个描述RDF资源的属性（property）和类（classe） 的词汇表，提供了关于这些属性和类的层次结构的语义。
* OWL 添加了更多的用于描述属性和类的词汇，例如类之间的不相交性（disjointness）、基数（cardinality，如刚好一个）、 等价性、属性的更丰富类型、属性特征（例如对称性）、以及枚举类(enumerated classes)。 OWL旨在用于那些需要由应用程序而不是由人类来处理文档中的信息的情形。OWL可被用来明确表示词汇表中术语的含义以及术语间的关系。如此表示的术语及术语间的关系的表示被称为本体(ontology)。在表达含义和语义方面，OWL比XML、RDF和RDF-S有更多的表达手段，因此在Web上表达机器可理解内容的能力也比这些语言强。OWL是DAML+OIL Web本体语言 (http://www.w3.org/TR/2004/REC-owl-features-20040210/#DAMLReference)的修改版，并吸取了在DAML+OIL的设计和应用中得到的经验教训。 OWL语言的使用：
* 通过定义类以及类的属性来形式化某个领域；
* 定义个体并说明它们之间的属性；
* 在OWL语言的形式化语义允许的层次上，对类和个体进行推理。
OWL提供了三种表达能力递增的子语言，以分别用于特定的实现者和用户团体。 * OWL Lite用于提供给那些只需要一个分类层次和简单约束的用户。例如，虽然OWL Lite支持支持基数限制，但只允许基数为0或1。提供支持OWL Lite的工具应该比支持其他表达能力更强的OWL子语言更简单，并且从辞典（thesauri）和分类系统（taxonomy）转换到OWL Lite更为迅速。相比OWL DL，OWL Lite还具有更低的形式复杂度，详细信息参考OWL 参考（OWL Reference）的OWL Lite部分 (http://www.w3.org/TR/owl-ref/#OWLLite)。
* OWL DL用于支持那些需要最强表达能力而需要保持计算完备性（computational completeness，即所有的结论都能够确保被计算出来）和可判定性（decidability，即所有的计算都能在有限的时间内完成）。OWL DL包括了OWL语言的所有语言成分，但使用时必须符合一定的约束，例如，一个类可以是多个类的子类时，但它不能同时是另外一个类的实例。OWL DL 这么命名是因为它对应于描述逻辑，它是一个研究作为OWL形式基础的逻辑的研究领域。
* OWL Full支持那些需要尽管没有可计算性保证，但有最强的表达能力和完全自由的RDF语法的用户。例如，在 OWL Full中，一个类可以被同时看为许多个体的一个集合以及本身作为一个个体。它允许在一个本体增加预定义的（RDF、OWL）词汇的含义。这样，不太可能有推理软件能支持对OWL FULL的所有成分的完全推理。 * 每个合法的OWL Lite本体都是一个合法的OWL DL本体； * 每个合法的OWL DL本体都是一个合法的OWL Full本体；
* 每个有效的OWL Lite结论都是一个有效的OWL DL结论； * 每个有效的OWL DL结论都是一个有效的OWL Full结论。 OWL Full可以看成是对RDF的扩展，而 OWL Lite和OWL DL可以看成是对一个受限的RDF版本的扩展。所有的OWL文档（Lite，DL，Full）都是一个RDF文档；所有的RDF文档都是一个OWL Full文档，但只有一些RDF文档是一个合法的OWL Lite和OWL DL文档。
OWL Lite语言的构词（constructs）如下列出： RDF Schema特性：
* Class (Thing, Nothing)
* rdfs:subClassOf
* rdf:Property
* rdfs:subPropertyOf
* rdfs:domain
* rdfs:range
* Individual (不)等价性：
* equivalentClass
* equivalentProperty
* sameAs
* differentFrom
* AllDifferent
* distinctMembers 属性特征：
* ObjectProperty
* DatatypeProperty
* inverseOf
* TransitiveProperty
* SymmetricProperty
* FunctionalProperty
* InverseFunctionalProperty 属性约束：
* Restriction
* onProperty
* allValuesFrom
* someValuesFrom 受限基数：
* minCardinality (仅仅0或1)
* maxCardinality (仅仅0或1)
* cardinality (仅仅0或1) 头信息：
* Ontology
* imports 类的交集：
* intersectionOf 版本信息：
* versionInfo
* priorVersion
* backwardCompatibleWith
* incompatibleWith
* DeprecatedClass
* DeprecatedProperty 注解属性：
* rdfs:label
* rdfs:comment
* rdfs:seeAlso
* rdfs:isDefinedBy
* AnnotationProperty
* OntologyProperty 数据类型：
* xsd datatypes
OWL DL和Full概要： 类的公理：
* oneOf, dataRange
* disjointWith
* equivalentClass (可应用于类表达式)
* rdfs:subClassOf (可应用于类表达式) 类表达式的布尔组合：
* unionOf
* complementOf
* intersectionOf 任意的基数：
* minCardinality
* maxCardinality
* cardinality 填充值信息：
* hasValue
相关阅读 更多 +
