rdf - 如何在 Protege 中对作为另一个类的个体的集合的类进行建模

Question

我需要在 Protege 中建模以下示例：

假设我有一个类 Pride，它代表另一个类 Lion 的实例集合。有没有其他方法可以在不使用具有最小基数的用户定义对象属性的情况下做到这一点？

此外，如果狮子的颜色是“黄色”并且是狮群的成员，那么推理者应该推断出狮群的颜色是“黄色”。在没有定义一组 SWRL 规则的情况下还有其他方法可以做到这一点吗？

Answer 1

有没有其他方法可以在不使用具有最小基数的用户定义对象属性的情况下做到这一点？

您将需要定义某种成员资格属性。它可以是通用的（例如，hasMember），或者更特定于特定类型（例如，hasLion），但是您需要定义一些东西来将集合与其实例相关联。您不需要在这里使用任何基数公理，尽管您可能想说类似 (Pride ⊑ ≥ hasMember 2)。

此外，如果狮子的颜色是“黄色”并且是狮群的成员，那么推理者应该推断出狮群的颜色是“黄色”。在没有定义一组 SWRL 规则的情况下还有其他方法可以做到这一点吗？

要使成员的属性转移到集合中，您不必使用 SWRL 规则。您可以使用子属性链公理。（不过，您需要为要转移的每个属性执行此操作。）例如，要表达以下事实：

        如果狮子的颜色为 X 并且是骄傲的成员，那么骄傲的颜色为 X。

您可以使用公理：

        hasMember • hasColor ⊑ hasColor

这意味着每当您拥有以下数据时：

        P → _hasMember L → _hasColor C

你可以推断

        P → _hasColor C

有关其工作原理的更多信息，请参阅使用属性链获取 OWL Ontology(Protege) 中的推断知识。