如何推断 class 的个人集合作为门生中某些 class 的组成部分？
How to infer collection of individuals of a class as a constituent of some class in protege?
如果我有一辆 class "collection" 和一辆 class "part" 以及个人自行车、把手、轮胎等，直到现在我已经意识到自行车是一个集合 的手柄、轮胎等，但现在我面临的问题是这辆自行车及其组成部分是“"collection" 的个体？
在这种情况下，您试图将 "collection" 个人视为个人本身。然而，任何 collection 个人都被定义为 OWL 中的 class。因此，您实际上要做的是将 OWL class 视为一个个体。然而，现在这是可能的，而不是在 OWL DL 中。使用 owl:sameAs 标签。直接引用owl规范
In OWL Full, where a class can be treated as instances of (meta)classes, we can use the owl:sameAs construct to define class equality, thus indicating that two concepts have the same intensional meaning.
一切都很好，但是，根据您的问题，您正在尝试 "infer" 这种类型的 collection。没有直接的方法可以做到这一点，特别是因为 OWL Full 无法推理。
所以我们只剩下另一种选择，即对一个 class 建模，它具有一个或多个 object 属性，这些属性将个体与特定个体的所有个体联系起来枚举。这在语义层面上可能没有那么有用（或确实准确），但总比没有好，并且可以在您创建的程序中抵消一些推理的复杂性。
如果我有一辆 class "collection" 和一辆 class "part" 以及个人自行车、把手、轮胎等，直到现在我已经意识到自行车是一个集合
在这种情况下，您试图将 "collection" 个人视为个人本身。然而，任何 collection 个人都被定义为 OWL 中的 class。因此，您实际上要做的是将 OWL class 视为一个个体。然而，现在这是可能的，而不是在 OWL DL 中。使用 owl:sameAs 标签。直接引用owl规范
In OWL Full, where a class can be treated as instances of (meta)classes, we can use the owl:sameAs construct to define class equality, thus indicating that two concepts have the same intensional meaning.
一切都很好，但是，根据您的问题，您正在尝试 "infer" 这种类型的 collection。没有直接的方法可以做到这一点，特别是因为 OWL Full 无法推理。
所以我们只剩下另一种选择，即对一个 class 建模，它具有一个或多个 object 属性，这些属性将个体与特定个体的所有个体联系起来枚举。这在语义层面上可能没有那么有用（或确实准确），但总比没有好，并且可以在您创建的程序中抵消一些推理的复杂性。