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...