地址:http://www.w3.org/2000/10/swap/doc/ontologies
这个词汇集(大概五十个)用于描述一个文档,以更好地解释一个URI的真实含义,而不是仅仅依靠URI中的词汇来判断这个URI究竟要表达什么意思。其中,有些是《RDF Vocabulary Description Language 1.0: RDF Schema》的一部分,对于这些使用rdfs:缩写,其它的是《OWL Web Ontology Language》的一部分。所有这五十个词汇都在《OWL Web Ontology Language》中列出了。
Plain Documentation普通文本
Rdf:comment用于提供非结构化文档,rdfs:label提供更容易阅读的名称,rdfs:seeAlso提供无类型的链接。例:
:CanisFamiliaris
rdfs:comment """The class of animals designated
Canis familiaris (domestic dog). This
includes all the dog breeds, but
not wolves.""";
rdfs:label "Canis familiaris";
rdfs:seeAlso <http://www.agrobiologicals.com/glossary/G3089.htm>.
Equivalence等价
最简单的机器可以阅读的声明是两个URI描述同一个事物:
:Pat owl:sameAs :Patrick.
在N3中是用“=”表示的。也可以这样:
:Dog owl:equivalentClass :CanisFamiliaris.
# or
:Dog owl:sameAs :CanisFamiliaris.
这两个有轻微的不同:等价类equivalent classes必须有相同的成员,但两个类可能是不同的含义。如果使用owl:sameAs,那么标签CanisFamiliaris也可以用于:Dog。
Cardinality基数
某些情况下,等价和同一能被推理出。OWL有一个词汇描述基数属性,以表示一对一、一对多、多对一等。如果有一个:mother属性,我们声明它是多对一的(functional),表明人最多有一个生理上的母亲:
:mother a owl:FunctionalProperty
这个可以用于推理同一性,因为如果我们说:
:sam :mother :jackie.
:sam :mother :jacqueline.
人或机器可以指出:jackie和:jacqueline一定是同一个人的名字。
Different and Disjoint不同与不相交
当然,:jackie和:jacqueline也可能不是同一个人,那么关于:sam的其中一行是错的。OWL有很多方式描述事物是不同的,最简单的一种:
:jackie owl:differentFrom :jacqueline.
若把这三条语句放到一起,便描述了一个不可能的情况。
Class Hierarchies类的层次
:Man s:subclassOf :Human .
:YoungMan s:subclassOf :Man .
:CanisFamiliarisDingo
owl:subClassOf :CanisFamiliaris; # Dingos are Dogs!
rdfs:seeAlso <http://www.naturalworlds.org/
wolf/canis/Canis_familiaris_dingo.htm>.
:CanisRufus a owl:Class;
owl:subClassOf :Canis;
owl:disjointFrom :CanisFamiliaris; # Wolves are not Dogs!
rdfs:label "Red Wolf";
rdfs:comment """As of 1999 there were about 300 individuals
of this endangered species""";
rdfs:seeAlso <http://druidry.org/obod/endangered/redwolf.html>.
Domain, Range定义域和值域
:father s:domain :Human; s:range :Man.
:Sara :father :Alan.
______________________________________
:Sara a :Human. :Alan a :Man.
:father owl:cardinality "1".
:Sara :father :Alan.
:Sara :father :MrFoster.
___________________________________
:Alan = :MrFoster.
OWL Inference OWL推理
:Joe a :YoungMan --> :Joe a :Man. Joe a :Human.
Joe is a YoungMMMan --> [okay]
"Lint" Processing
Joe is a YoungMan --> [okay]
Joe is a YoungMMMan --> Warning: "YoungMMMan" used as a Class but
not mentioned in schema.
后记:这篇太不全了……