本文档《OWL2 Web本体语言快速参考指南》是W3C发布的OWL 2 Web Ontology Language Quick Reference Guide2009-10-27)的中文译本。文中若存在译法不当和错误之处,欢迎批评指正,请发邮件至:zengxh@szu.edu.cn,谢谢!

翻译说明:

·本文档的英文版是唯一正式版本。此处的中文译本仅供学习与交流。

·中文译本的内容是非正式的,仅代表译者的个人观点。

·中文译本的内容会根据反馈意见随时进行修订。

·中文译本同时通过W3C Translations网站发布。

·转载本文,请注明译者和原链接。

译者:

曾新红(Xinhong Zeng),深圳大学图书馆NKOS研究室

蔡庆河(Qinghe Cai),深圳大学计算机与软件学院

 

资助声明:

本次翻译工作得到广东省哲学社会科学“十一五”规划项目(批准号:GD10CTS02)和国家社科基金项目“中文知识组织系统的形式化语义描述标准体系研究”(批准号:12BTQ045)的资助。

翻译时间:20119

发布时间:2012925

变动日志:

变动日期

变动位置

原内容

修改后内容

2013/11/14

 

存在命题

存在量化

2013/11/14

 

全称命题

全称量化


 

W3C

OWL2 Web本体语言
快速参考指南

W3C推荐标准20091027

当前版本:

http://www.w3.org/TR/2009/REC-owl2-quick-reference-20091027/

最新版本(系列2)

http//www.w3.org/TR/owl2-quick-reference/

最新推荐标准:

http//www.w3.org/TR/owl-quick-reference

上一版本:

http//www.w3.org/TR/2009/PR-owl2-quick-reference-20090922/ (彩色标注不同之处)

编者:

Jie Bao伦斯勒理工学院

Elisa F. KendallSandpiper 软件公司

Deborah L. McGuinness伦斯勒理工学院

Peter F. Patel-SchneiderBell Labs Research, Alcatel-Lucent

贡献者:

Li Ding伦斯勒理工学院

Ankesh Khandelwal伦斯勒理工学院

 

请参阅本文档的勘误表,那里可能会有一些规范的校正。

本文档也可以以如下的非规范格式查看:PDF 版本, 参考卡片

另见 译文

Copyright © 2009 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark and document use rules apply.


摘要

OWL2 Web本体语言,或者简略地记作OWL2,是一个本体语言,用于带有形式化定义含义的语义网。OWL2本体提供了类、属性、个体及数据值,以语义网文档的形式存储。OWL2本体可以与以RDF记载的信息结合使用,并且OWL2本体本身也主要是以RDF文档的形式进行交换。OWL2文档概述(Document Overview阐述了OWL2的整体状态,因此,应当在阅读其他OWL2文档之前先阅读该文档。

本文档提供的是OWL2语言的非规范性快速参考指南。它也提供了到其他文档的链接,包括用于语言介绍与示例的OWL2入门、包含了更多函数式语法细节的 OWL2结构化规范与函数式语法文档和用于新特性描述的OWL2新特性与原理文档。

本文档的状态

可能已被替代

本节描述的是本文档在发布时的状态。其他的文档可能替代了该文档。在http://www.w3.org/TR/W3C technical reports index中,可以找到当前的W3C出版物列表和该技术报告的最新版本。

XML Schema 数据类型依赖

根据定义,OWL2使用的是XML Schema Definition Language (XSD)中定义的数据类型。对本文档中的OWL2而言,XSD的最新W3C推荐标准是版本1.0,此时,版本1.1正在向推荐标准演进。OWL2的设计已经利用了XSD1.1中的新数据类型和更清晰的注释,但是目前这些利用有一部分暂时搁置。特别地,OWL2中基于XSD1.1的那些元素将被当作是可选的,直到XSD1.1成为W3C的推荐标准为止,详见Conformance, section 2.3。等到XSD1.1发布为W3C的推荐标准时,这些元素才会终止可选状态而与其他指定元素一样进入必备状态。

我们提议,目前开发人员和用户遵循XSD 1.1 Candidate Recommendation。根据SchemaOWL工作组之间的讨论,当XSD1.1演进成为推荐标准时,我们并不希望任何实现会有必须的改动。

变动总结

上一版本以来,并没有什么实质性的改变。若需了解细微的变动细节,请参见变动日志彩色标注不同之处版本

请发表意见

请将意见发送至public-owl-comments@w3.org公开文档)。虽然由OWL工作组执笔的本文档已经完成,但是您的意见依旧可能在勘误表或者未来的修订版中得到解决。欢迎开发人员在public-owl-dev@w3.org(公开文档)公开讨论。

W3C批准

本文档已经由W3C成员、软件开发人员以及其他W3C小组和兴趣组织审查,并由W3C主管(Director)批准成为W3C推荐标准。这是一个稳定的文档,可以作为参考资料或被其他文档引用。W3C在制作推荐标准过程中担任的角色,是要引起人们对该规范的注意并促进它的广泛应用。这提升了Web的功能性和交互性。

专利

本文档由遵循5 February 2004 W3C Patent Policy的小组完成。它只是一个提供信息的文档。W3C维护着一个专利披露公开列表(public list of any patent disclosures),它与该组织的可交付成果一起制作;此页面也包含披露专利的说明。


目录

· 1 名称(Names),前辍(Prefixes)与符号(Notation

· 2 OWL2 结构与公理

o  2.1 类表达式

o  2.2 属性

o  2.3 个体与文本

o  2.4 数据值域

o  2.5 公理

o  2.6 声明

o  2.7 注释

o  2.8 本体

· 3 内置数据类型与分面(Facets

o  3.1 内置数据类型

o  3.2 分面

· 4 附录

o  4.1 OWL2中的新特性

o  4.2 OWL2 RDF语法中的附加词汇

· 5 附录 变动日志(资料性)

o  5.1相对于建议推荐标准的变动

o  5.2相对于上一征求意见版本的变动

· 6致谢

1 名称(Names),前辍(Prefixes)与符号(Notation

OWL2中的名称是国际化资源标识符(IRI),通常简写为“prefix: localname(前辍:本地名)。其中,“prefix”是展开为IRI前辍名;而本地名则是名称的剩余部分。OWL2中的标准前辍名有:

前辍名

展开形式

rdf:

http://www.w3.org/1999/02/22-rdf-syntax-ns#

rdfs:

http://www.w3.org/2000/01/rdf-schema#

owl:

http://www.w3.org/2002/07/owl#

xsd:

http://www.w3.org/2001/XMLSchema#

我们使用下表中的符号约定(notation conventions*

字母

含义

字母

含义

字母

含义

字母

含义

C

类表达式

CN

类名

D

数据值域

DN

数据类型名

P

对象属性表达式

PN

对象属性名

R

数据属性

A

注释属性

a

个体

aN

个体名

_:a

匿名个体 (一个空节点标签)

v

文本

n

非负整数 **

f

分面

ON

本体名

U

IRI

s

IRI 或匿名个体

t

IRI,匿名个体 或文本

p

前辍名

_:x

空节点

(a1 an)

RDF 列表

* 上述所有内容均可以有下标。 ** "n"^^xsd:nonNegativeInteger 的缩略写法。

2 OWL2结构与公理

对于一个OWL2 DL本体,对公理有一些全局性限制

在下面的这些表中,第一列提供了与入门(Primer的链接(如果适用),第二列提供了到函数式语法(Functional Syntax的链接, 第三列则给定了用Turtle语法表示的RDF三元组。

2.1 类表达式

预定义与具名  

语言特性

函数式语法

RDF 语法

具名类 (named class)

CN

CN

通用类 (universal class)

owl:Thing

owl:Thing

空类 (empty class)

owl:Nothing

owl:Nothing

布尔连接与个体枚举

语言特性

函数式语法

RDF语法

交集

intersection

ObjectIntersectionOf(C1 Cn)

_:x rdf:type owl:Class.
_:x owl:intersectionOf ( C1
Cn ).

并集

union

ObjectUnionOf(C1 Cn)

_:x rdf:type owl:Class.
_:x owl:unionOf ( C1
Cn ).

补集(complement

ObjectComplementOf(C)

_:x rdf:type owl:Class.
_:x owl:complementOf C.

枚举(enumeration

ObjectOneOf(a1 an)

_:x rdf:type owl:Class.
_:x owl:oneOf ( a1
an ).

对象属性限制

语言特性

函数式语法

RDF语法

全称量化

universal

ObjectAllValuesFrom(P C)

_:x rdf:type owl:Restriction.
_:x owl:onProperty P.
_:x owl:allValuesFrom C

存在量化

existential

ObjectSomeValuesFrom(P C)

_:x rdf:type owl:Restriction.
_:x owl:onProperty P.
_:x owl:someValuesFrom C

个体值

(individual value)

ObjectHasValue(P a)

_:x rdf:type owl:Restriction.
_:x owl:onProperty P.
_:x owl:hasValue a.

本地自反

local reflexivity

ObjectHasSelf(P)

_:x rdf:type owl:Restriction.
_:x owl:onProperty P.
_:x owl:hasSelf "true"^^xsd:boolean.

精确基数

(exact cardinality)

ObjectExactCardinality(n P)

_:x rdf:type owl:Restriction.
_:x owl:onProperty P.
_:x owl:cardinality n.

限定精确基数 (qualified exact cardinality)

ObjectExactCardinality(n P C)

_:x rdf:type owl:Restriction.
_:x owl:onProperty P.
_:x owl:qualifiedCardinality n.
_:x owl:onClass C.

最大基数

 (maximum cardinality)

ObjectMaxCardinality(n P)

_:x rdf:type owl:Restriction.
_:x owl:onProperty P.
_:x owl:maxCardinality n.

限定最大基数 (qualified maximum cardinality)

ObjectMaxCardinality(n P C)

_:x rdf:type owl:Restriction.
_:x owl:onProperty P.
_:x owl:maxQualifiedCardinality n.
_:x owl:onClass C.

最小基数

(minimum cardinality)

ObjectMinCardinality(n P)

_:x rdf:type owl:Restriction.
_:x owl:onProperty P.
_:x owl:minCardinality n.

限定最小基数 (qualified minimum cardinality)

ObjectMinCardinality(n P C)

_:x rdf:type owl:Restriction.
_:x owl:onProperty P.
_:x owl:minQualifiedCardinality n.
_:x owl:onClass C.

数据属性限制

语言特性

函数式语法

RDF 语法

全称量化

universal

DataAllValuesFrom(R D)

_:x rdf:type owl:Restriction.
_:x owl:onProperty R.
_:x owl:allValuesFrom D.

存在量化

existential

DataSomeValuesFrom(R D)

_:x rdf:type owl:Restriction.
_:x owl:onProperty R.
_:x owl:someValuesFrom D.

文本值

literal value

DataHasValue(R v)

_:x rdf:type owl:Restriction.
_:x owl:onProperty R.
_:x owl:hasValue v.

精确基数

exact cardinality

DataExactCardinality(n R)

_:x rdf:type owl:Restriction.
_:x owl:onProperty R.
_:x owl:cardinality n.

限定精确基数

qualified exact cardinality

DataExactCardinality(n R D)

_:x rdf:type owl:Restriction.
_:x owl:onProperty R.
_:x owl:qualifiedCardinality n.
_:x owl:onDataRange D.

最大基数

(maximum cardinality)

DataMaxCardinality(n R)

_:x rdf:type owl:Restriction.
_:x owl:onProperty R.
_:x owl:maxCardinality n.

限定最大基数

 (qualified maximum cardinality)

DataMaxCardinality(n R D)

_:x rdf:type owl:Restriction.
_:x owl:onProperty R.
_:x owl:maxQualifiedCardinality n.
_:x owl:onDataRange D.

最小基数

 (minimum cardinality)

DataMinCardinality(n R)

_:x rdf:type owl:Restriction.
_:x owl:onProperty R.
_:x owl:minCardinality n.

限定最小基数

(qualified minimum cardinality)

DataMinCardinality(n R D)

_:x rdf:type owl:Restriction.
_:x owl:onProperty R.
_:x owl:minQualifiedCardinality n.
_:x owl:onDataRange D.

使用n元数据值域的限制

下表中的‘Dn’是n元数据值域。

语言特性

函数式语法

RDF 语法

n元全称量化

n-ary universal

DataAllValuesFrom(R1 Rn Dn)

_:x rdf:type owl:Restriction.
_:x owl:onProperties ( R1
Rn ).
_:x owl:allValuesFrom Dn.

n元存在量化

n-ary existential

DataSomeValuesFrom(R1 Rn Dn)

_:x rdf:type owl:Restriction.
_:x owl:onProperties ( R1
Rn).
_:x owl:someValuesFrom Dn.

2.2 属性

对象属性表达式

语言特性

函数式语法

RDF语法

具名对象属性

(named object property )

PN

PN

通用对象属性

( universal object property)

owl:topObjectProperty

owl:topObjectProperty

空对象属性

( empty object property)

owl:bottomObjectProperty

owl:bottomObjectProperty

逆属性

( inverse property)

ObjectInverseOf(PN)

_:x owl:inverseOf PN

数据属性表达式

语言特性

函数式语法

RDF语法

具名数据属性

(named data property)

R

R

通用数据属性

( universal data property)

owl:topDataProperty

owl:topDataProperty

空数据属性

(empty data property)

owl:bottomDataProperty

owl:bottomDataProperty

2.3 个体与文本

语言特性

函数式语法

RDF 语法

具名个体

(named individual)

aN

aN

匿名个体

( anonymous individual)

_:a

_:a

文本(literal) (数据类型值)

"abc"^^DN

"abc"^^DN

2.4 数据值域

数据值域表达式

语言特性

函数式语法

RDF语法

具名数据类型

 (named datatype)

DN

DN

数据值域补集

(data range complement)

DataComplementOf(D)

_:x rdf:type rdfs:Datatype.
_:x owl:datatypeComplementOf D.

数据域交集

 (data range intersection)

DataIntersectionOf(D1Dn)

_:x rdf:type rdfs:Datatype.
_:x owl:intersectionOf (D1
Dn).

数据值域并集

( data range union)

DataUnionOf(D1Dn)

_:x rdf:type rdfs:Datatype.
_:x owl:unionOf (D1
Dn).

文本枚举

(literal enumeration)

DataOneOf(v1 vn)

_:x rdf:type rdfs:Datatype.
_:x owl:oneOf ( v1
vn ).

数据类型限制

(datatype restriction)

DatatypeRestriction(DN f1 v1 fn vn)

_:x rdf:type rdfs:Datatype.
_:x owl:onDatatype DN.
_:x owl:withRestrictions (_:x1 ... _:xn).
_:xj fj vj.
     j=1n

2.5 公理

类表达式公理

语言特性

函数式语法

RDF语法

子类

(subclass)

SubClassOf(C1 C2)

C1 rdfs:subClassOf C2.

等价类

( equivalent classes)

EquivalentClasses(C1 Cn)

Cj owl:equivalentClass Cj+1. j=1n-1

不相交类

( disjoint classes)

DisjointClasses(C1 C2)

C1 owl:disjointWith C2.

两两不相交类

( pairwise disjoint classes)

DisjointClasses(C1 Cn)

_:x rdf:type owl:AllDisjointClasses.
_:x owl:members ( C1
Cn ).

不相交并

( disjoint union)

DisjointUnionOf(CN C1 Cn)

CN owl:disjointUnionOf ( C1 Cn ).

对象属性公理

语言特性

函数式语法

RDF语法

子属性

(subproperty)

SubObjectPropertyOf(P1 P2)

P1 rdfs:subPropertyOf P2.

属性链包含

 (property chain inclusion)

SubObjectPropertyOf(ObjectPropertyChain(P1 Pn) P)

P owl:propertyChainAxiom (P1 Pn).

属性定义

(property domain)

ObjectPropertyDomain(P C)

P rdfs:domain C.

属性值域

 (property range)

ObjectPropertyRange(P C)

P rdfs:range C.

等价

(equivalent properties )

EquivalentObjectProperties(P1 Pn)

Pj owl:equivalentProperty Pj+1. j=1n-1

不相交

(disjoint properties)

DisjointObjectProperties(P1 P2)

P1 owl:propertyDisjointWith P2.

两两不相交

 (pairwise disjoint properties)

DisjointObjectProperties(P1 Pn)

_:x rdf:type owl:AllDisjointProperties.
_:x owl:members ( P1
Pn ).

逆属性

 (inverse properties)

InverseObjectProperties(P1 P2)

P1 owl:inverseOf P2.

函数型属

(functional property)

FunctionalObjectProperty(P)

P rdf:type owl:FunctionalProperty.

反函数型属

(inverse functional property)

InverseFunctionalObjectProperty(P)

P rdf:type owl:InverseFunctionalProperty.

 

自反

(reflexive property)

ReflexiveObjectProperty(P)

P rdf:type owl:ReflexiveProperty.

非自反

(irreflexive property)

IrreflexiveObjectProperty(P)

P rdf:type owl:IrreflexiveProperty.

对称

(symmetric property)

SymmetricObjectProperty(P)

P rdf:type owl:SymmetricProperty.

对称

(asymmetric property)

AsymmetricObjectProperty(P)

P rdf:type owl:AsymmetricProperty.

传递

(transitive property)

TransitiveObjectProperty(P)

P rdf:type owl:TransitiveProperty.

数据属性公理

语言特性

函数式语法

RDF语法

子属性

( subproperty)

SubDataPropertyOf(R1 R2)

R1 rdfs:subPropertyOf R2.

属性定义域

(property domain)

DataPropertyDomain(R C)

R rdfs:domain C.

属性值域

(property range)

DataPropertyRange(R D)

R rdfs:range D.

等价

(equivalent properties)

EquivalentDataProperties(R1 Rn)

Rj owl:equivalentProperty Rj+1. j=1n-1

不相交属性

(disjoint properties)

DisjointDataProperties(R1 R2)

R1 owl:propertyDisjointWith R2.

两两不相交属性

(pairwise disjoint properties)

DisjointDataProperties(R1 Rn)

_:x rdf:type owl:AllDisjointProperties.
_:x owl:members ( R1
Rn ).

函数型属性

(functional property)

FunctionalDataProperty(R)

R rdf:type owl:FunctionalProperty.

数据类型定义

语言特性

函数式语法

RDF语法

数据类型定义

(datatype definition)

DatatypeDefinition(DN D)

DN owl:equivalentClass D.

断言

语言特性

函数式语法

RDF语法

个体等价 (individual equality)

SameIndividual(a1 an)

aj owl:sameAs aj+1. j=1n-1

个体等价(individual inequality)

DifferentIndividuals(a1 a2)

a1 owl:differentFrom a2.

个体两两不等价

(pairwise individual inequality)_

DifferentIndividuals(a1 an)

_:x rdf:type owl:AllDifferent.
_:x owl:members (a1
an).

类断言

 (class assertion)

ClassAssertion(C a)

a rdf:type C.

肯定的对象属性断言

(positive object property assertion)

ObjectPropertyAssertion( PN a1 a2 )

a1 PN a2.

肯定的数据属性断言

(positive data property assertion)

DataPropertyAssertion( R a v )

a R v.

否定的对象属性断言

 (negative object property assertion)

NegativeObjectPropertyAssertion(P a1 a2 )

_:x rdf:type owl:NegativePropertyAssertion.
_:x owl:sourceIndividual a1.
_:x owl:assertionProperty P.
_:x owl:targetIndividual a2.

否定的数据属性断言

(negative data property assertion )

NegativeDataPropertyAssertion(R a v )

_:x rdf:type owl:NegativePropertyAssertion.
_:x owl:sourceIndividual a.
_:x owl:assertionProperty R.
_:x owl:targetValue v.

语言特性

函数式语法

RDF语法

(Key)

HasKey(C (P1 Pm) (R1 Rn) )

C owl:hasKey (P1 Pm R1 Rn).
m+n>0

2.6 声明

语言特性

函数式语法

RDF语法

(class)

Declaration( Class( CN ) )

CN rdf:type owl:Class.

数据类型

 (datatype)

Declaration( Datatype( DN ) )

DN rdf:type rdfs:Datatype.

对象属性

 (object property)

Declaration( ObjectProperty( PN ) )

PN rdf:type owl:ObjectProperty.

数据属性

(data property)

Declaration( DataProperty( R ) )

R rdf:type owl:DatatypeProperty.

注释属性

(annotation property)

Declaration( AnnotationProperty( A ) )

A rdf:type owl:AnnotationProperty.

具名个体

 (named individual)

Declaration( NamedIndividual( aN ) )

aN rdf:type owl:NamedIndividual.

2.7 注释

注释

语言特性

函数式语法

RDF语法

注释断言

( annotation assertion)

AnnotationAssertion(A s t)

s A t.

公理注释

(annotation of an axiom)
其中,用RDF表示的公理是一个或者更多的形如si U ti这样的三元组, 即有相同的谓词 U

AXIOM(Annotation(A t) )

_:xi A t.
si U ti.

_:xi rdf:type owl:Axiom.
_:xi owl:annotatedSource si.
_:xi owl:annotatedProperty U.
_:xi owl:annotatedTarget ti.

公理注释

(annotation of an axiom)
其中,用RDF表示的公理是 _:x U t1

AXIOM(Annotation(A t) )

_:x A t.
_:x U t1.

注释的注释

(annotation of another annotation)
(
RDF表示的其他注释以s1开头)

Annotation(Annotation(A t) A1 t1)

_:x A t.
s1 A1 t1.

_:x rdf:type owl:Annotation.
_:x owl:annotatedSource s1.
_:x owl:annotatedProperty A1.
_:x owl:annotatedTarget t1.

注释属性

语言特性

函数式语法

RDF语法

具名注释属性

( named annotation property)

A

A

人类可读的名称(human-readable name)

rdfs:label

rdfs:label

人类可读的评注(human-readable comment)

rdfs:comment

rdfs:comment

附加信息

(additional information)

rdfs:seeAlso

rdfs:seeAlso

定义实体

(defining agent)

rdfs:isDefinedBy

rdfs:isDefinedBy

版本信息

(version information)

owl:versionInfo

owl:versionInfo

过时

(deprecation)

owl:deprecated

owl:deprecated

向后兼容

 (backwards compatibility)

owl:backwardCompatibleWith

owl:backwardCompatibleWith

不兼容

 (incompatibility)

owl:incompatibleWith

owl:incompatibleWith

先前版本

(prior version)

owl:priorVersion

owl:priorVersion

注释公理

语言特性

函数式语法

RDF语法

注释子属性

 (annotation subproperties)

SubAnnotationPropertyOf(A1 A2)

A1 rdfs:subPropertyOf A2.

注释属性定义域

annotation property domain

AnnotationPropertyDomain(A U)

A rdfs:domain U.

注释属性值域

annotation property range

AnnotationPropertyRange(A U)

A rdfs:range U.

2.8 本体

本体

语言特性

函数式语法

RDF语法

OWL本体
(
引入)1 2

Ontology([ON [U]]
  Import(ON1)...
  Annotation(A t)
  ...
)

ON rdf:type owl:Ontology.
[ON owl:versionIRI U.]
ON owl:imports ON1. ...
ON A t.
...

前辍声明

(prefix declaration)3

Prefix(p=U)

@prefix p U.

1. [ ]表示可选结构

2.RDF语法中,如果没有本体名,那么使用_:x来代替ON

3.这里的RDF语法是Turtle表示法, 其他的RDF序列化方法可能会有不同。

3 内置数据类型与分面(Facets

3.1 内置数据类型

通用数据类型

rdfs:Literal

Numbers

owl:rational

owl:real

xsd:double

xsd:float

xsd:decimal

xsd:integer

xsd:long

xsd:int

xsd:short

xsd:byte

xsd:nonNegativeInteger

xsd:nonPositiveInteger

xsd:positiveInteger

xsd:negativeInteger

xsd:unsignedLong

xsd:unsignedInt

xsd:unsignedShort

xsd:unsignedByte

Strings

rdf:PlainLiteral  (RDF普通文本)

xsd:string

xsd:NCName

xsd:Name

xsd:NMTOKEN

xsd:token

xsd:language

xsd:normalizedString

Boolean Values

xsd:boolean  (值空间:truefalse)

Binary Data

xsd:base64Binary

xsd:hexBinary

IRIs

xsd:anyURI

Time Instants

xsd:dateTime  (时区偏移为可选)

xsd:dateTimeStamp  (时区偏移为必需)

XML Literals

rdf:XMLLiteral

3.2 分面

分面

适用数据类型

说明

xsd:minInclusive
xsd:maxInclusive
xsd:minExclusive
xsd:maxExclusive

用相应数据类型表示的文本

Numbers,
Time Instants

限制值空间大于(等于)或者小于(等于)某个值

xsd:minLength
xsd:maxLength
xsd:length

非负整数

Strings,
Binary Data,
IRIs

根据文本长度,限制值空间

xsd:pattern

作为正则表达式的xsd:string 文本

Strings,
IRIs

限制值空间为与正则表达式相匹配的文本

rdf:langRange

作为正则表达式的xsd:string 文本

rdf:PlainLiteral

限制值空间为带有语言标签且与正则表达式相匹配的文本

4 附录

4.1 OWL2中的新特性

类表达式

· 本地自反(local reflexivity (自我限制)

· 限定精确/最大/最小基数限制的对象数据

· n元数据值域上的全称量化(universal存在量化(existential限制

类公理

 (Class Axioms)

· 两两不相交类

· 类不相交并

属性表达式

(Property Expressions)

· 通用对象属性对象属性

· 通用数据属性和数据属性

· 逆对象属性表达式

属性公理

(Property Axioms )

· 属性链包含

· 不相交对象属性

· 不相交数据属性

· 自反非自反非对称对象属性

数据值域

(Data Ranges)

· 数据类型定义

· 数据值域补集交集并集

· 数据类型限制分面facets

· n元数据类型的钩连hook

断言

(Assertions)

· 否定的对象属性断言

· 否定的数据属性断言

注释

( Annotation)

· 注释断言

· 公理或注释的注释

· 注释子属性

· 注释属性定义值域

· owl:deprecated注释属性

附加内置数据类型

(Extra Built-in Datatypes)

· owl:rationalowl:realxsd:dateTimeStamprdf:PlainLiteral

其他

(Others)

·

· 声明

· 元建模能力metamodeling capabilities (双关(Punning)

· 匿名个体

4.2 OWL2 RDF语法中的附加词汇

特性

词汇

注释

数据值域

(data range)

owl:DataRange

OWL2中已过时,由 rdfs:Datatype代替

个体两两不同集合中的成员 (membership of a set of pairwise different individuals)

owl:distinctMembers

也可选择使用 owl:members

本体属性

 (ontology property)

owl:OntologyProperty

过时

(deprecation)

owl:DeprecatedClass,
owl:DeprecatedProperty

可选的RDF 语法:
s rdf:type owl:DeprecatedClass.

s rdf:type owl:DeprecatedProperty.  
可由
s owl:deprecated "true"^^xsd:boolean.  
代替

5 附录:变动日志 (资料性)

5.1 相对于建议推荐标准的变动

本节总结了该文档相对于2009922日的建议推荐标准的变动。

·“(注释)Annotations”表有少量编辑性的改动。

·对表头和其他内容的解释有少量编辑性的改动。

·链接了本指南的pdf版本,即OWL2参考卡片。

5.2 相对于上一征求意见版本的变动

本节总结了该文档相对于2009611日的候选推荐标准的变动。

·关于owl:rational rdf:XMLLiteral数据类型的“有风险的特性”(Features At Risk)标注已经删除;实现支持已经被充分证明,因此这些特性已不再被认为是有风险的 (见 200985日的Resolution 5 Resolution 6)。

·做过少量的编辑性改动。

6 致谢

OWL2的开发始于OWL1.1 成员提交(其本身是用户和开发者反馈的结果),尤其是在OWL体验与研究方向工作组(OWLED)系列中积累的信息。该工作组也考虑了来自于WebOnt工作组(WebOnt Working Group)的待解决问题(postponed issues)。

本文档由OWL工作小组(见下)执笔,它的内容反映了作为一个整体的该工作小组内部的广泛讨论。编者向Bernardo Cuenca Grau(牛津大学),Christine GolbreichUniversité de Versailles St-Quentin and LIRMM),Ivan Herman W3C/ERCIM)和Bijan Parsia (曼彻斯特大学) 的仔细审阅致以特别的谢意。

在本文档发布时,经常参加OWL工作组会议的与会者有:Jie Bao (RPI)Diego Calvanese (Free University of Bozen-Bolzano)Bernardo Cuenca Grau (牛津大学计算实验室)Martin Dzbor (公开大学)Achille Fokoue (IBM公司)Christine Golbreich (Université de Versailles St-Quentin and LIRMM)Sandro Hawke (W3C/MIT)Ivan Herman (W3C/ERCIM)Rinke Hoekstra (阿姆斯特丹大学)Ian Horrocks (牛津大学计算实验室)Elisa Kendall (Sandpiper Software)Markus Krötzsch (FZI)Carsten Lutz (不来梅大学)Deborah L. McGuinness (RPI)Boris Motik (牛津大学计算实验室)Jeff Pan (阿伯丁大学)Bijan Parsia (曼彻斯特大学)Peter F. Patel-Schneider (Bell Labs Research, Alcatel-Lucent)Sebastian Rudolph (FZI)Alan Ruttenberg (科学共享组织)Uli Sattler (曼彻斯特大学)Michael Schneider (FZI)Mike Smith (Clark & Parsia)Evan Wallace (NIST)Zhe Wu (甲骨文公司)Antoine Zimmermann (DERI Galway)。我们还要感谢以前的工作组成员:Jeremy CarrollJim HendlerVipul Kashyap