Conflit de même des personnes propriété et type de données propriété

Question

Je suis un problème avec « mêmes individus propriété » dans protege, quand je lance un raisonneur (concentré de 1,5 ou de fait ++)

permet de prendre ontologies exemple

chose a les fils de classe A et B, A ont les fils C et D.

B, C et D ont des individus de la même classe. Je peux dire qu'un individu C est "le même individu" que l'individu B, puis ajouter que l'individu D est "le même individu" que l'individu B. Ce qui est vrai, ils ont des noms différents, mais ils sont identiques. Pourquoi cela ne fonctionne-t-il que lorsque je mets l'individu B à "même individu" de type C ou D? L'erreur protégée est "InconsistentOntologyException: Fact ++. Kernel: incohérence Ontology" et le pellet indique que l'ontologie est incohérente.

EDIT: Semble est un problème plus profondément enraciné, cet exemple fonctionne :(, continuez va vérifier

EDIT2. Après un peu plus d'expérimenter, semble son conflit avec les propriétés DataType Ils partagent tous propriétés de type de données. Avec le même nom Dans le domaine exemple de la propriété serait A et chaîne de gamme Toute idée comment résoudre?

Answer 1

Ouais vous l'avez résolu - vous confondiez les étiquettes (ce que vous appelez des choses) avec l'identité: une instance d'une classe est unique (vous pouvez y attacher différentes étiquettes - c'est-à-dire l'appeler différemment) mais l'instance elle-même ne peut exister qu'une seule fois - et dans votre exemple vous avez effectivement affirmé qu'il sont "trois instances de la même instance" ... ce qui, bien sûr, n'a aucun sens.