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

Question

当我运行一个推理机(Pellet1.5或fact++)时，我在protege中遇到了“相同的个体属性”的问题。

让我们以本体论为例

物体有A级和B级，A有C级和D级。

B、C和D具有相同类别的个体。

我不能说个体C和个体B是“相同的个体”，然后加上个体D和个体B是“相同的个体”吗？这是真的，他们有不同的名字，但他们是同一个人。

为什么它只在我设置个体B具有类型C或D的“相同个体”时才起作用？

protege错误是"InconsistentOntologyException:Fact++.Kernel:不一致的本体“，而pellet说本体不一致。

编辑:这似乎是一个根深蒂固的问题，这个例子很有效，我会继续检查的。

EDIT2:经过更多的实验后，它似乎与DataType属性发生了冲突。它们都共享一个同名的DataType属性。在示例中，属性域是A和范围字符串。你知道怎么解决吗？

Answer 1

是的，你解决了这个问题--你把标签(你所说的东西)和身份搞混了:一个类的实例是唯一的(你可以给它贴上不同的标签--也就是叫它不同的东西)，但是这个实例本身只能存在一次--在你的例子中，你有效地断言“同一个实例有三个实例”...which，当然没有任何意义。