owl本体语言学习笔记（二）

6. 本体映射

用于实现本体的共享。

 

6.1 类和属性之间的等价关系（equivalentClass，equivalentProperty）

      属性owl:equivalentClass被用来表示两个类有着完全相同的实例。但我们要注意，在OWL DL中，类仅仅代表着个体的集合而不是个体本身。然而在OWL FULL中，我们能够使用owl:sameAs来表示两个类在各方面均完全一致。

关系 蕴涵

subClassOf TexasThings(x) implies locatedIn(x,y) and TexasRegion(y)

equivalentClass TexasThings(x) implies locatedIn(x,y) and TexasRegion(y)

类似的，我们可以通过使用owl:equivalentProperty属性声明表达属性的等同。

 

6.2 个体间的同一性

SameAs：描述个体之间相同的机制与描述类之间的相同机制类似，仅仅只要两个个体的声明形成一致的就可以了。

假如hasMaker是一个函数型属性，那么下面的例子就不一定会产生冲突。

<owl:Thing rdf:about="#BancroftChardonnay">

  <hasMaker rdf:resource="#Bancroft" />

  <hasMaker rdf:resource="#Beringer" />

</owl:Thing>

除非和我们本体中的其他信息发生冲突，不然的话这样的描述是没有冲突的，他说明Bancroft和Beringer是相同的个体。

要清楚，修饰（或引用）两个类用sameAs还是用equivalentClass效果是不同的。用sameAs的时候，把一个类解释为一个个体，就像在OWL Full中一样，这有利于对本体进行分类。在OWL Full中，sameAs可以用来引用两个东西，如一个类和一个个体、一个类和一个属性等等，无论什么情况，都将被解释为个体。

 

6.3 不同的个体（DifferentFrom，AllDifferent）

这一机制提供了与sameAs相反的效果。

 

说明了三个值互不相同。如果我们没有用 differentFrom元素来申明既干又甜的葡萄酒，这意味着“干葡萄酒”和“甜葡萄酒”是相同的。但是我们从上面申明的元素来推断，这又是矛盾的。还有一种更便利的定义相互不同个体的机制，如下

 

要注意，owl:distinctMembers属性声明只能和owl:AllDifferent属性声明一起结合使用。

7. 复杂类

用于创建类的表达式。OWL支持基本的集合操作，即并，交和补运算。它们分别被命名为owl:unionOf,owl:intersectionOf,和owl:complementOf.此外，类还可以是枚举的。类的外延可以使用oneOf构造子来显示的声明。同时，我们也可以声明类的外延必须是互不相交的。

注意：OWL类外延是由个体组成的集合，二这些个体都是类的成员。

 

7.1 集合运算符

7.1.1 交运算

<owl:Class rdf:ID="WhiteWine">

   <owl:intersectionOf rdf:parseType="Collection"> /*这是必须的，因为必须对集合操作*/

     <owl:Class rdf:about="#Wine" />

     <owl:Restriction>

       <owl:onProperty rdf:resource="#hasColor" />

       <owl:hasValue rdf:resource="#White" />

     </owl:Restriction>

   </owl:intersectionOf>

 </owl:Class>

【这个例子表示，白葡萄酒就是葡萄酒和白色物体的相交的集合。如果不这么表示，计算机只知道，白葡萄酒有白色的属性；却不知道，所有白色的葡萄酒是白葡萄酒】

 

最后，WhiteBurgundy类恰好是白葡萄酒和Burgundies的交集。依次，Burgundies生产在法国一个叫做Bourgogne的地方并且它是干葡萄酒（dry wine）。因此，所有满足这些标准的葡萄酒个体都是WhiteBurgundy类的外延的一部分。

 

7.1.2 并运算

表示两个集合的∪。

 

使用方法同上图，将intersectionOf改成unionOf

7.1.3 补运算

就是表示差集，complementOf典型的用法是与其它集合运算符联合使用，如下

 

【上面的例子定义了一个NonFrenchWine类，它是Wine类与所有不位于法国的事物的集合的交集。】

7.2 枚举类 one of

以直接枚举的方式描述类的成员。特别的，这个定义完整的描述了类的外延（类的范围？），因此任何其他个体都不能声明为属于这个类。如下：

 

【这段代码说明，WineColor只包含三种，white rose和red，任何其他的颜色都不是winecolor类的实例】

oneOf结构的每一个元素都必须是一个有效声明的个体。一个个体必须属于某个类。在上面的例子中，每一个个体都是通过名字来引用的。我们使用owl:Thing简单地进行引用，尽管这有点多余（因为每个个体都属于owl:Thing）。另外，我们也可以根据具体类型WineColor来引用集合中的元素：

 

另外，较复杂的个体描述同样也可以是oneOf结构的有效元素，例如:

 

7.3 不相交类disjointWith

使用owl:disjointWith构造子可以表达一组类是不相交的。它保证了属于某一个类的个体不能同时又是另一个指定类的实例。

 

Pasta例子声明了多个不相交类。注意它只声明了Pasta与其它所有类是不相交的。例如，它并没有保证Meat和Fruit是不相交的。为了声明一组类是互不相交的，我们必须对每两个类都使用owl:disjointWith来声明。

在下面的例子中，我们定义了Fruit是SweetFruit和NonSweetFruit的并集。而且我们知道这些子类恰好将Fruit划分成了连个截然不同的子类，因为它们是互不相交的。随着互不相交的类的增加，不相交的声明的数目也会相应的增加到n的2次方。然而，在我们已知的用例中，n通常比较小。

 

8. 本体版本的控制

本体和软件一样需要维护，因此它们将随着时间的推移而改变。在一个owl:Ontology元素（如上面讨论的http://www.w3.org/TR/2004/REC-owl-guide-20040210/#OntologyHeaders） 内，链接到一个以前定义的本体版本是可能的。属性owl:priorVersion被用来提供这种链接，并能用它跟踪一个本体的版本历史。

本体版本可能彼此互不兼容，例如，一个本体以前的版本可能包含与现在版本中的陈述相矛盾的陈述。在一个owl:Ontology元素中，我们使用owl:backwardCompatibleWith和owl:incompatibleWith这些属性来指出本体版本是兼容还是不兼容以前的版本。如果没有进行owl:backwardCompatibleWith声明，那么我们假定就不存在兼容性。除了上面讲到的两个属性，还有一个属性owl:versionInfo适用与版本控制系统，它提供了一些相关信息（hook）。和前面三个属性相反的是，owl:versionInfo的客体是一个文字值（literal），这一属性除了可以用来注释本体之外还可以用来注释类和属性。

 

评论

1 楼 陈佩佩 2016-01-14  

如果一个类ClassA拥有function属性，function的值域很大。我想表示A具有的function只有function1和function2。这种约束如何表示/？