如何在 Protege 中为另一个 class 的个体集合建模 class
How to model a class that is a collection of individuals of another class in Protege
我需要在 Protege 中模拟以下示例：
假设我有一个 class，Pride，它代表另一个 class，Lion 的实例集合。如果不使用具有最小基数的用户定义对象 属性 ，还有其他方法可以做到这一点吗？
此外，如果狮子有颜色 "Yellow" 并且是狮群的成员，那么推理者应该推断狮群有颜色 "Yellow"。如果没有定义一组 SWRL 规则，还有其他方法可以做到这一点吗？
Is there any other way to do this without use of user defined object
property with minimum cardinality?
您将需要定义某种成员资格 属性。它可以是通用的（例如，hasMember），也可以是更具体的特定类型（例如，hasLion），但您需要定义something 将集合与其实例相关联。您不需要在这里使用任何基数公理，尽管您可能想说类似 (Pride ⊑ ≥ hasMember⟩2).
Furthermore, if a lion has color "Yellow" and is a member of a pride, then the reasoner should infer that the pride has color "Yellow". Is
there any other to do this without defining a set of SWRL rules ?
要使成员的属性转移到集合中，您不必使用 SWRL 规则。您可以使用 sub属性 链公理。 （不过，您需要为每个要转移的 属性 执行此操作。）例如，表达以下事实：
如果狮子的颜色为 X 并且是狮群的成员，那么狮群的颜色为 X。
你可以使用公理：
有成员 •有颜色 ⊑有颜色
这意味着只要你有这样的数据：
P →hasMember L →hasColor C
你可以推断
P →hasColor C
有关其工作原理的更多信息，请参阅 Using Property Chains to get inferred Knowledge in an OWL Ontology(Protege)。
我需要在 Protege 中模拟以下示例：
假设我有一个 class，Pride，它代表另一个 class，Lion 的实例集合。如果不使用具有最小基数的用户定义对象 属性 ，还有其他方法可以做到这一点吗？
此外，如果狮子有颜色 "Yellow" 并且是狮群的成员，那么推理者应该推断狮群有颜色 "Yellow"。如果没有定义一组 SWRL 规则，还有其他方法可以做到这一点吗？
Is there any other way to do this without use of user defined object property with minimum cardinality?
您将需要定义某种成员资格 属性。它可以是通用的（例如，hasMember），也可以是更具体的特定类型（例如，hasLion），但您需要定义something 将集合与其实例相关联。您不需要在这里使用任何基数公理，尽管您可能想说类似 (Pride ⊑ ≥ hasMember⟩2).
Furthermore, if a lion has color "Yellow" and is a member of a pride, then the reasoner should infer that the pride has color "Yellow". Is there any other to do this without defining a set of SWRL rules ?
要使成员的属性转移到集合中，您不必使用 SWRL 规则。您可以使用 sub属性 链公理。 （不过，您需要为每个要转移的 属性 执行此操作。）例如，表达以下事实：
如果狮子的颜色为 X 并且是狮群的成员，那么狮群的颜色为 X。
你可以使用公理：
有成员 •有颜色 ⊑有颜色
这意味着只要你有这样的数据：
P →hasMember L →hasColor C
你可以推断
P →hasColor C
有关其工作原理的更多信息，请参阅 Using Property Chains to get inferred Knowledge in an OWL Ontology(Protege)。