OWL语法
- 格式：docx
- 大小：29.36 KB
- 文档页数：15
当然也可直接下载本人整理好的：UploadFiles/2007-7/1011856007.doc
* XML (/XML/)提供了一种结构化文档的表层语法，但没有对这些文档的含义施加任何语义约束。
* XML Schema (/XML/Schema)是一个约束XML文档结构和为XML扩充了数据类型的语言。
*每个合法的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文档。
xmlns:owl ="/2002/07/owl#"
xmlns:rdf ="/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="/2000/01/rdf-schema#"
xmlns:xsd ="/2001/XMLSchema#">
* OWL Full支持那些需要尽管没有可计算性保证，但有最强的表达能力和完全自由的RDF语法的用户。例如，在OWL Full中，一个类可以被同时看为许多个体的一个集合以及本身作为一个个体。它允许在一个本体增加预定义的（RDF、OWL）词汇的含义。这样，不太可能有推理软件能支持对OWL FULL的所有成分的完全推理。
* OWL添加了更多的用于描述属性和类的词汇，例如类之间的不相交性（disjointness）、基数（cardinality，如刚好一个）、等价性、属性的更丰富类型、属性特征（例如对称性）、以及枚举类(enumerated classes)。
OWL旨在用于那些需要由应用程序而不是由人类来处理文档中的信息的情形。OWL可被用来明确表示词汇表中术语的含义以及术语间的关系。如此表示的术语及术语间的关系的表示被称为本体(ontology)。在表达含义和语义方面，OWL比XML、RDF和RDF-S有更多的表达手段，因此在Web上表达机器可理解内容的能力也比这些语言强。OWL是DAML+OIL Web本体语言(/TR/2004/REC-owl-features-20040210/#DAMLReference)的修改版，并吸取了在DAML+OIL的设计和应用中得到的经验教训。
系，包括明确导入其他本体的信息，能够部分实现这样的功能。
另外，OWL提出了一个开放世界的假设。也就是说，对资源的描述并不局限于在一个简单的文件或范围内。类C1本来是由本体O1定义出
来的，然而，它也可以是由其他的本体扩展出来的。对C1进行这样的假设的结果是单调的。新的信息不能否定之前的信息。新的信息
可以是和旧的信息矛盾的，但是事实和推导只能被增加而不能被删减。
xmlns:vin ="/TR/2004/REC-owl-guide-20040210/wine#"
xml:base ="/TR/2004/REC-owl-guide-20040210/wine#"
xmlns:food="/TR/2004/REC-owl-guide-20040210/food#"
任意的基数：
* minCardinality
* maxCardinality
* cardinality
填充值信息：
* hasValue
1.本体的结构
OWL是语义网活动的一个组成部分。这项工作的目的是通过对增加关于那些描述或提供网络内容的资源的信息，从而使网络资源能够更
容易地被那些自动进程访问。由于语义网络固有的分布性，OWL必须允许信息能够从分布的信息源收集起来。其中，允许本体间相互联
<!DOCTYPE rdf:RDF [
<!ENTITY vin "/TR/2004/REC-owl-guide-20040210/wine#" >
<!ENTITY food "/TR/2004/REC-owl-guide-20040210/food#" > ]>
(不)等价性：
* equivalentClass
* equivalentProperty
* sameAs
* differentFrom
* AllDifferent
* distinctMembers
属性特征：
* ObjectProperty
* DatatypeProperty
* inverseOf
* TransitiveProperty
* maxCardinality (仅仅0或1)
* cardinality (仅仅0或1)
头信息：
* Ontology
* imports
类的交集：
* intersectionOf
版本信息：
* versionInfo
* priorVersion
* backwardCompatibleWith
* incompatibleWith
的。这些被命名空间声明定义的名称仅当作为XML标签的一部分时才具有意义。属性值（attribute values）是不具有命名空间的。但
是在OWL里，我们经常要用属性值来引用本体标识符。我们可以写出它们的完整URI形式，比如“/TR/2004/REC-
owl-guide-20040210/wine#merlot”。或者，利用实体定义来简略URI的书写，例如：
W3C文章链接网址:
/TR/2004/REC-owl-guide-20040210/#owl_imports /Submission/OWL-S/ /services/owl-s/1.0//services/owl-s/1.1/
* RDF (/TR/2002/WD-rdf-concepts-20021108/)是一个关于对象（或资源）和它们之间关系的数据模型，且为该数据模型提供了简单的语义，这个数据模型能够用XML语法表示。
* RDF Schema (/TR/2002/WD-rdf-schema-20021112/)是一个描述RDF资源的属性（property）和类（classe）的词汇表，提供了关于这些属性和类的层次结构的语义。
* DeprecatedClass
* DeprecatedProperty
注解属性：
* rdfs:label
* rdfs:comment
* rdfs:seeAlso
* rdfs:isDefinedBy
* AnnotationProperty
* OntologyProperty
数据类型：
* xsd datatypes
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部分(/TR/owl-ref/#OWLLite)。
* SymmetricProperty
* FunctionalProperty
* InverseFunctionalProperty
属性约束：
* Restriction
* onProperty
* allValuesFrom
* someValuesFrom
受限基数：
* minCardinality (仅仅0或1)
当设计一个本体的时候，设计者必须考虑到这种矛盾的可能性。一种期望是，工具的支持将帮助侦测到这样的情况。
为了能写出一个能被唯一翻译的而且能被软件（代理）使用的本体，我们要求OWL有一个语法和正规的语义。
2.命名空间
<rdf:RDF
xmlns ="/TR/2004/REC-owl-guide-20040210/wine#"
前两个声明标识了与该本体相关的命名空间。第一个声明指定了缺省命名空间，即表明所有无前缀的限定名（qualified names）都出
自当前本体。第二个声明为当前本体指定了前缀vin:。第三个声明为当前文档（参见下文(/TR/2004/REC-owl-
guide-20040210/#owl_imports)）指定了基准URI（base URI）。第四个声明指出食物（food）本体将用前缀food:来标识。
OWL DL和Full概要：
类的公理：
* oneOf, dataRanΒιβλιοθήκη e* disjointWith
* equivalentClass (可应用于类表达式)
* rdfs:subClassOf (可应用于类表达式)
类表达式的布尔组合：
* unionOf
* complementOf
* intersectionOf
OWL Lite语言的构词（constructs）如下列出：
RDF Schema特性：
* Class (Thing, Nothing)
* XML (/XML/)提供了一种结构化文档的表层语法，但没有对这些文档的含义施加任何语义约束。
* XML Schema (/XML/Schema)是一个约束XML文档结构和为XML扩充了数据类型的语言。
*每个合法的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文档。
xmlns:owl ="/2002/07/owl#"
xmlns:rdf ="/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="/2000/01/rdf-schema#"
xmlns:xsd ="/2001/XMLSchema#">
* OWL Full支持那些需要尽管没有可计算性保证，但有最强的表达能力和完全自由的RDF语法的用户。例如，在OWL Full中，一个类可以被同时看为许多个体的一个集合以及本身作为一个个体。它允许在一个本体增加预定义的（RDF、OWL）词汇的含义。这样，不太可能有推理软件能支持对OWL FULL的所有成分的完全推理。
* OWL添加了更多的用于描述属性和类的词汇，例如类之间的不相交性（disjointness）、基数（cardinality，如刚好一个）、等价性、属性的更丰富类型、属性特征（例如对称性）、以及枚举类(enumerated classes)。
OWL旨在用于那些需要由应用程序而不是由人类来处理文档中的信息的情形。OWL可被用来明确表示词汇表中术语的含义以及术语间的关系。如此表示的术语及术语间的关系的表示被称为本体(ontology)。在表达含义和语义方面，OWL比XML、RDF和RDF-S有更多的表达手段，因此在Web上表达机器可理解内容的能力也比这些语言强。OWL是DAML+OIL Web本体语言(/TR/2004/REC-owl-features-20040210/#DAMLReference)的修改版，并吸取了在DAML+OIL的设计和应用中得到的经验教训。
系，包括明确导入其他本体的信息，能够部分实现这样的功能。
另外，OWL提出了一个开放世界的假设。也就是说，对资源的描述并不局限于在一个简单的文件或范围内。类C1本来是由本体O1定义出
来的，然而，它也可以是由其他的本体扩展出来的。对C1进行这样的假设的结果是单调的。新的信息不能否定之前的信息。新的信息
可以是和旧的信息矛盾的，但是事实和推导只能被增加而不能被删减。
xmlns:vin ="/TR/2004/REC-owl-guide-20040210/wine#"
xml:base ="/TR/2004/REC-owl-guide-20040210/wine#"
xmlns:food="/TR/2004/REC-owl-guide-20040210/food#"
任意的基数：
* minCardinality
* maxCardinality
* cardinality
填充值信息：
* hasValue
1.本体的结构
OWL是语义网活动的一个组成部分。这项工作的目的是通过对增加关于那些描述或提供网络内容的资源的信息，从而使网络资源能够更
容易地被那些自动进程访问。由于语义网络固有的分布性，OWL必须允许信息能够从分布的信息源收集起来。其中，允许本体间相互联
<!DOCTYPE rdf:RDF [
<!ENTITY vin "/TR/2004/REC-owl-guide-20040210/wine#" >
<!ENTITY food "/TR/2004/REC-owl-guide-20040210/food#" > ]>
(不)等价性：
* equivalentClass
* equivalentProperty
* sameAs
* differentFrom
* AllDifferent
* distinctMembers
属性特征：
* ObjectProperty
* DatatypeProperty
* inverseOf
* TransitiveProperty
* maxCardinality (仅仅0或1)
* cardinality (仅仅0或1)
头信息：
* Ontology
* imports
类的交集：
* intersectionOf
版本信息：
* versionInfo
* priorVersion
* backwardCompatibleWith
* incompatibleWith
的。这些被命名空间声明定义的名称仅当作为XML标签的一部分时才具有意义。属性值（attribute values）是不具有命名空间的。但
是在OWL里，我们经常要用属性值来引用本体标识符。我们可以写出它们的完整URI形式，比如“/TR/2004/REC-
owl-guide-20040210/wine#merlot”。或者，利用实体定义来简略URI的书写，例如：
W3C文章链接网址:
/TR/2004/REC-owl-guide-20040210/#owl_imports /Submission/OWL-S/ /services/owl-s/1.0//services/owl-s/1.1/
* RDF (/TR/2002/WD-rdf-concepts-20021108/)是一个关于对象（或资源）和它们之间关系的数据模型，且为该数据模型提供了简单的语义，这个数据模型能够用XML语法表示。
* RDF Schema (/TR/2002/WD-rdf-schema-20021112/)是一个描述RDF资源的属性（property）和类（classe）的词汇表，提供了关于这些属性和类的层次结构的语义。
* DeprecatedClass
* DeprecatedProperty
注解属性：
* rdfs:label
* rdfs:comment
* rdfs:seeAlso
* rdfs:isDefinedBy
* AnnotationProperty
* OntologyProperty
数据类型：
* xsd datatypes
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部分(/TR/owl-ref/#OWLLite)。
* SymmetricProperty
* FunctionalProperty
* InverseFunctionalProperty
属性约束：
* Restriction
* onProperty
* allValuesFrom
* someValuesFrom
受限基数：
* minCardinality (仅仅0或1)
当设计一个本体的时候，设计者必须考虑到这种矛盾的可能性。一种期望是，工具的支持将帮助侦测到这样的情况。
为了能写出一个能被唯一翻译的而且能被软件（代理）使用的本体，我们要求OWL有一个语法和正规的语义。
2.命名空间
<rdf:RDF
xmlns ="/TR/2004/REC-owl-guide-20040210/wine#"
前两个声明标识了与该本体相关的命名空间。第一个声明指定了缺省命名空间，即表明所有无前缀的限定名（qualified names）都出
自当前本体。第二个声明为当前本体指定了前缀vin:。第三个声明为当前文档（参见下文(/TR/2004/REC-owl-
guide-20040210/#owl_imports)）指定了基准URI（base URI）。第四个声明指出食物（food）本体将用前缀food:来标识。
OWL DL和Full概要：
类的公理：
* oneOf, dataRanΒιβλιοθήκη e* disjointWith
* equivalentClass (可应用于类表达式)
* rdfs:subClassOf (可应用于类表达式)
类表达式的布尔组合：
* unionOf
* complementOf
* intersectionOf
OWL Lite语言的构词（constructs）如下列出：
RDF Schema特性：
* Class (Thing, Nothing)
