Protege SWRL规则

Question

我一直试图在我的本体中定义规则，以推断如果一个人的朋友之间是朋友，那么所有人都是朋友，但如果一个或多个人彼此不是朋友，那么我的本体将推断他们都不是朋友。

​

​

谢谢

Answer 1

您可能需要更多地理顺您的预期语义。

据我所知，你至少希望isFriendWith是对称的，也就是说，当isFriendWith(bob, alice)也是isFriendWith(alice, bob)的时候。

而且，如果你想让friendsAll有任何意义，isFriendWith就不能是可传递的。这也会捕捉到自然的含义，因为我朋友的朋友不一定是我的朋友。

更详细地说:如果isFriendWith是对称和传递的，那么bob的每个朋友也会自动成为bob的所有朋友的朋友(因为isFriendWith(bob, alice)意味着isFriendWith(alice, bob)。从那时起，任何isFriendWith(bob, carol)传递性都意味着isFriendWith(alice, carol)。因此，如果isFriendWith是对称的和可传递的，那么您将自动获得集团。

但如上所述，这可能不是您想要的。

至于用SWRL来表达这一点，让我们试一试，好吗？

friendsAll很可能是反身性的，也就是说，让我们假设每个人都是他/她自己的朋友。现在，我们需要一个递归规则来扩展这个集合，同时仍然满足条件：“在这个集合中，每个人都是每个人的朋友”。

要包括bob的朋友，您需要能够量化isFriendWith，并检查bob的任何候选朋友是否也是bob的所有其他朋友的朋友。因为您不能在SWRL中嵌套量词，所以我或多或少可以肯定，您不能仅用规则语言来表达该算法。然而，我可能在这里错了，在语义中隐藏着一个巧妙的小技巧。然而，据我所知，这不是一个，而且在直接公式中需要量词嵌套让我相信这是不可能的。

它基本上归结为一个著名的图论问题:给定一个起点，bob friendsAll是bob的朋友的最大子集，使得组中的每个人都与其他每个人都是朋友，即bob的最大Clique。