相同个体属性和数据类型属性的冲突

Question

当我运行推理员（颗粒1.5或事实++）时，我在“同一个人财产”中遇到问题

让我们以本体为例

东西有阶级儿子A和B，A有儿子C和D.

B，C和D有同一类的人。

我不能说个人C与个人B是“同一个人”，然后加上个人D与个人B“同一个人”。这是真的，他们有不同的名字，但他们是同一个人.. < / p>

为什么它只在我设置个人B有“C或D”的“同一个人”时才有效？

protege错误是“InconsistentOntologyException：Fact ++。内核：不一致的Ontology”和pellet说本体是不一致的。

编辑：似乎是一个更根深蒂固的问题，这个例子有效:(，一直在检查。

EDIT2：经过一些实验，似乎与DataType属性发生了冲突。 它们共享具有相同名称的DataType属性。在属性的示例域中，将是A和范围字符串。知道如何解决？

Answer 1

是的，你解决了它 - 你用标识混淆了标签（你称之为东西）：一个类的实例是唯一的（你可以为它添加不同的标签 - 即称之为不同的东西）但实例本身只能存在曾经 - 在你的例子中，你有效地声称存在“同一个实例的三个实例”......这当然没有任何意义。