如何推断一个类的个体集合作为某个类的组成部分？

Question

如果我有一个班级“集合”和一个班级“部分”与个人自行车，手柄，轮胎等，直到现在我已经实现了自行车是一个句柄，轮胎等与Recursive object property in owl的集合，但现在我我面临的问题是这辆自行车及其组成部分是“收藏”的个人吗？

Answer 1

在这种情况下，您试图将个人的“集合”视为个体。但是，任何个人集合都被定义为OWL中的一个类。因此，您实际上要做的是将OWL类视为个体。然而，现在这可能不是在OWL DL中。使用owl:sameAs标记。直接引用猫头鹰规范

  

在OWL Full中，一个类可以被视为（meta）类的实例，我们可以使用owl：sameAs构造来定义类的相等性，从而表明两个概念具有相同的内涵意义。

这一切都很好，但是，从你的问题来看，你试图“推断”这种类型的集合。没有直接的方法可以做到这一点，特别是因为无法推断OWL Full。

因此我们选择了另一种方法，即为具有一个或多个对象属性的类建模，这些对象属性将个体连接到特定枚举的所有个体。这在语义层面上可能没那么有用（或者确实准确），但它总比没有好，并且一些推理复杂性可以在你创建的程序中被抵消。