Discussion :

[massouda]

bonsoir,
Est-ce que vous pouvez m'expliquer les erreurs (d'inconsistance) que nous pouvons détecter dans une ontologie et comment les corriger et merci d'avance.

[CesarR]

Honnetement je ne sais pas comment te repondre. La meilleure solution pour toi est de comprendre ce qu'est une inconsistance -> cherche des cours sur Internet.

[cotechnoe]

Une inconsistance est une situation où un moteur d'inférence est dans l'impossibilité de produire une conclusion. Par exemple, soit une ontologie contenant la classe Chien et la classe Chat qui sont déclarées comme étant disjointes (un individu est soit un chat, soit un chien) et un individu TOTO appartenant à Chat et à Chien. Si tu démarres une inférence (par exemple dans Protégé) alors le moteur va retourner une une erreur d'inconsistence.

[Sapience]

Cette discussion peut t'aider pour démarrer : http://www.developpez.net/forums/d12...coherence-owl/

[April Fool]

Voici quelques exemples de situations d'inconsistence :

• le cas mentionné par cotechnoe ci-dessus, c'est-à-dire deux classes disjointes et un individu appartenant aux deux classes;
• une erreur de typage de littéral, par exemple "toto"^^xsd:integer;
• deux individus sont distincts (owl:differentFrom) et identiques (owl:sameAs);
• Une classe a une restriction de type maxCardinality avec la valeur n pour une propriété p, et un individu de cette classe est relié à n+1 individus distincts par la propriété p;
• la classe owl:Thing est équivalente à la classe owl:Nothing;
• une propriété est symétrique et asymétrique ou bien réflexive et irréflexive.

Il y a d'autres cas, certains pouvant se réduire aux cas précédents.

[OntoBLW]

Voici quelques exemples de situations d'inconsistence :

• le cas mentionné par cotechnoe ci-dessus, c'est-à-dire deux classes disjointes et un individu appartenant aux deux classes;
• une erreur de typage de littéral, par exemple "toto"^^xsd:integer;
• deux individus sont distincts (owl:differentFrom) et identiques (owl:sameAs);
• Une classe a une restriction de type maxCardinality avec la valeur n pour une propriété p, et un individu de cette classe est relié à n+1 individus distincts par la propriété p;
• la classe owl:Thing est équivalente à la classe owl:Nothing;
• une propriété est symétrique et asymétrique ou bien réflexive et irréflexive.

Il y a d'autres cas, certains pouvant se réduire aux cas précédents.

Merci pour ces exemples intéressant. Comment peux-je trouver d'autres exemples(juste donnez moi des indications)
Deuxième question: Comment peut-je distinguer les incohérences syntaxiques d'autres. Où pourrais-je les trouver?