我在开发本体时发现了这个问题。我正在为基本的家庭关系制定本体论。
我有一个名为Person的主类，其中包含Son，Daughter，Wife等子类。
除此之外，我定义了对象属性，如isGrandsonOf和isGranddaughterOf，以显示祖父母 - 孙子的关系。
问题在于，每当我启动推理器时，它都会告诉我isGranddaughter和isGrandson完全相同。它的不同之处在于：域（女性子类与男性不相交）和Disjoints，如屏幕所示。有人可以向我解释一下吗？我不知道如何声明这两个对象属性是不相等的。我正在使用FaCT ++或Pellet推理器。
第一个和第二个图像显示对象属性如何推断为相等，同时我不希望isGrandsonOf和isGranddaughterOf成为相同的对象属性。他们都指的是性别不同的人：
