如何在SWRL规则中定义不同的个体

Question

我对如何在SWRQL中定义两个不同的个体有疑问。这是一个例子。 如果B是SonOf A; 如果C是SonOf A; 然后B和C是兄弟。 这是SWRL规则： isSunOf（？BB，？AA）^ isSunOf（？CC，？AA） - ＆gt; isBrotherOf（？BB，？CC）

我在合理的结果中发现，B是B自己的B。如何避免这个问题？

谢谢！ 最好的祝福， 杨

Answer 1

使用differentFrom(?a, ?b)即：

isSonOf(?a, ?c) ^ isSonOf(?b, ?c) ^ differentFrom(?a, ?b) -> isBrotherOf(?a, ?b)