求助高手：这种较复杂的部分整体关系在OWL中应该如何定义？
飞机类由机翼类和机身类组成，机身类由驾驶舱、客舱、尾舱类组成。
用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 的一个属性。
本体还有一些其它属性，这里不一一列举。
[返回] 中文XML论坛 - 专业的XML技术讨论区 →
W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体 』 → [求助]OWL中较复杂的部分与整体（hasPart or isPartOf）关系的表达
(订阅本版)
2010/12/25 18:40:00
新浪微博
[求助]OWL中较复杂的部分与整体（hasPart or isPartOf）关系的表达
