Vocabulary Documentation 学习笔记

rel="File-List" href="file:///C:%5CDOCUME%7E1%5CADMINI%7E1%5CLOCALS%7E1%5CTemp%5Cmsohtmlclip1%5C01%5Cclip_filelist.xml"> rel="themeData" href="file:///C:%5CDOCUME%7E1%5CADMINI%7E1%5CLOCALS%7E1%5CTemp%5Cmsohtmlclip1%5C01%5Cclip_themedata.thmx"> rel="colorSchemeMapping" href="file:///C:%5CDOCUME%7E1%5CADMINI%7E1%5CLOCALS%7E1%5CTemp%5Cmsohtmlclip1%5C01%5Cclip_colorschememapping.xml">

地址：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.
  
  

后记：这篇太不全了……