Как определить DifferentIndividuals в правиле SWRL в протеже

Question

У меня есть вопрос о том, как определить два разных индивида в SWRQL.Вот пример.Если B isSonOf A;Если C isSonOf A;Тогда B и C братья.Вот правило SWRL: isSunOf (? BB,? AA) ^ isSunOf (? CC,? AA) -> isBrotherOf (? BB,? CC)

Я нашел в обоснованных результатах, B - это isBrotherOf Bсам.Как избежать этой проблемы?

Спасибо!С наилучшими пожеланиями, Ян

Answer 1

Использование differentFrom(?a, ?b), т.е.:

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