飞机类由机翼类和机身类组成，机身类由驾驶舱、客舱、尾舱类组成。

用protege定义object property的时候，只定义一个hasPart和一个isPartOf属性够么？定义域和值域如何定义？

飞机类由机翼类和机身类组成：hasPart中可以将定义域定义为飞机、值域定义为"机翼or机身"类么？还是需要分别定义hasJiYi, hasJiShen两个子属性，将值域分别定义为机翼、机身类？

机身类由驾驶舱、客舱、尾舱类组成也类似的问题。

是不是hasPart属性只能用于某个特定的关系(例如飞机具有机翼)，而不能用于表达广泛的组件关系(只定义一组hasPart和isPartOf类来用于所有的部分整体关系)？如果为每个特定关系都定义组件属性的话那岂不太麻烦了？

谢谢

相关文章：

http://bbs.w3china.org/dispbbs.asp?BoardID=2&replyID=85869&id=45140&star=1&skin=0

http://bbs.w3china.org/dispbbs.asp?BoardID=2&replyID=85967&id=45172&star=1&skin=0

http://bbs.w3china.org/dispbbs.asp?BoardID=2&replyID=136974&id=60847&star=1&skin=0

http://bbs.w3china.org/dispbbs.asp?BoardID=2&replyID=182214&id=77068&star=1&skin=0

再如：下面这篇文章中，part of 和kind of 的代码是一样的，并不能区分是组件关系还是子类关系

http://hi.baidu.com/prometheus2008/blog/item/fe58af1e8bed56fc1ad576fd.html

本体的关系及关系属性
2009-04-06 10:00本体中的基本关系有如下四种：

part-of 概念之间部分与整体的关系；

kind-of 概念之间的继承关系，类父子类关系；

instance-of 概念的实例和概念之间的关系，类对象和类之间的关系；

attribute-of 某个概念是另一概念的属性。

本文中用于推理的几种本体关系的属性：

1．反转性：也为逆关系(inverse) 。例如：

<owl:ObjectProperty rdf:ID="hasMaker">

<rdf:type rdf:resource="&owl；FunctionalProperty" />

</owl:ObjectProperty>

<owl:ObjectProperty rdf:ID="producesWine">

<owl:inverseOf rdf:resource="#hasMaker" />

</owl:ObjectProperty>

这里，属性 producesWine 和 hasMaker 就有逆关系。

<Chardonnay rdf:ID="BancroftChardonnay">

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

</Chardonnay>

由 此 ， 我 们 可 以 推 出 Bancroft 生 产 出 (producesWine)

BancroftChardonnay，表示成 OWL 语言如下：

<Winery rdf:ID="Bancroft">

<producesWine rdf:resource="#BancroftChardonnay"/>

</Winery >

2．传递关系(transitivity)

当概念 A 和概念 B 有关系 R 的同时，概念 B 和概念 A 有关系 R－1，则称关系 R 具有逆属性，或称关系 R 是可逆关系。例如：

<owl:ObjectProperty rdf:ID="locatedIn">

<rdf:type rdf:resource="&owl；TransitiveProperty"/>

<rdfs:domain rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>

<rdfs:range rdf:resource="#Region"/>

</owl:ObjectProperty>

这里，定义了属性 locatedIn 具有传递性。

<Region rdf:ID="SantaCruzMountainsRegion">

<locatedIn rdf:resource="#CaliforniaRegion" />

</Region>

<Region rdf:ID="CaliforniaRegion">

<locatedIn rdf:resource="#USRegion" />

</Region>

由 此 ， 我 们 可 以 推 出 SantaCruzMountainsRegion 是 位 于(locatedIn)USRegion 里的。

用 OWL 语言表示如下：

<Region rdf:ID="SantaCruzMountainsRegion">

<locatedIn rdf:resource="#USRegion"/>

</Region>

3．继承关系(kind-of)

如概念 C 和 D，记 C’＝{x|x 是 C 的实例}，D’={x|x 是 D 的实例}，如果对任意的 x 属于 D’，x 都属于 C’，则称 C 为 D 的父概念，记作 C=Parent(D)；称 D 为 C 的子概念，记作 D=Child(C)。例如：

<owl:Class rdf:ID="Food"/>

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

<rdfs:subClassOf rdf:resource="#Food"/>

</owl:Class>

<Wine rdf:ID="FormanChardonnay"/>

属性 subClassOf 是典型的继承关系关键词。Wine 是 Food 的子类，而 FormanChardonnay 是 Wine 类的一个实例。由继承关系，我们可以推出 FormanChardonnay 也是 Food 类的一个实例。

用 OWL 语言表示如下：

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

<rdf:type rdf:resource="#Food"/>

</owl:Thing>

4．部分关系(part-of)

概念之间的部分和整体之间的关系，如果概念 C 是概念 D 的一部分，记作 C＝Part(D)。例如：

<owl:Class rdf:ID="Food"/>

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

<rdfs:subClassOf rdf:resource="#Food"/>

</owl:Class>

这里 Wine 类就是 Food 类的一部分。Wine 类和 Food 类就是部分与整体的关系。

5．实例关系(instance-of)

表达概念的实例和概念之间的关系，E 是概念 C 的实例，记作 E＝Instance(C)。例如：

<owl:Thing rdf:ID="CentralCoastRegion" />

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

<rdf:type rdf:resource="#Region"/>

</owl:Thing>

这里 CentralCoastRegion 就是 Region 的一个实例。

6．属性关系(attribute-of)表达某个概念是另一个概念的属性，C 是 D的属性，记作 C＝Attribute(D)。例如：

<owl:ObjectProperty rdf:ID="hasWineDescriptor">

<rdfs:domain rdf:resource="#Wine" />

<rdfs:range rdf:resource="#WineDescriptor" />

</owl:ObjectProperty>

这 里 属 性 hasWineDescriptor 的 定 义 域 是 Wine ， 也 就 是 说hasWineDescriptor 是 Wine 的一个属性。

本体还有一些其它属性，这里不一一列举。