另外，在owl中，我们可以利用subclassof和传递属性来描述kind-of关系，那么整体-部分关系（part-of）一般用什么形式进行表征呢（除了传递属性）？
谢谢
小弟初入此道，贻笑大方处，见谅。

问题一：如概念“汽车”，“轿车”和“卡车”。其中“汽车”和“轿车”“卡车”之间应该是上下位关系，即kind-of关系。而“轿车”和“卡车”之间是同位关系，且二者之间不出现交叉，换句话说，不会有一个车的实例，即是“轿车”又是“卡车”。
那么，在owl中，我们可以用subclass来描述“汽车”与“轿车”“卡车”之间的关系。但仅用subclass描述，是否能够体现“轿车”和“卡车”之间的互斥关系？这是不是和所选用的语言有关，如full,dl,lite等，或者subclass之间本就不具备这样的能力，必须通过disjoint来说明。

问题二：如概念“汽车”，“发动机”和“轮胎”。我们知道，“汽车”是由“发动机”和“轮胎”组成的，他们之间应是整体-部分关系，即part-of关系。那么，在owl中，应如何描述这种关系呢（除去传递属性外）？

谢谢

以下是引用szjing在2008-4-12 8:53:00的发言： 很奇怪为什么没有帮忙解答。 可能是我没有表达清晰。 问题一：如概念“汽车”，“轿车”和“卡车”。其中“汽车”和“轿车”“卡车”之间应该是上下位关系，即kind-of关系。而“轿车”和“卡车”之间是同位关系，且二者之间不出现交叉，换句话说，不会有一个车的实例，即是“轿车”又是“卡车”。 那么，在owl中，我们可以用subclass来描述“汽车”与“轿车”“卡车”之间的关系。但仅用subclass描述，是否能够体现“轿车”和“卡车”之间的互斥关系？这是不是和所选用的语言有关，如full,dl,lite等，或者subclass之间本就不具备这样的能力，必须通过disjoint来说明。 问题二：如概念“汽车”，“发动机”和“轮胎”。我们知道，“汽车”是由“发动机”和“轮胎”组成的，他们之间应是整体-部分关系，即part-of关系。那么，在owl中，应如何描述这种关系呢（除去传递属性外）？ 谢谢