Re: Question about a logical inconsistency

First, without an individual or Top, you aren't going to get an inconsistency. An unsatisfiable class, sure. An inconsistency, no.


On Mar 4, 2018, at 15:03, Leila Bayoudhi <bayoudhileila@yahoo.fr<mailto:bayoudhileila@yahoo.fr>> wrote:

Hi,
In the literature, I found that this set of axioms may cause an inconsistency, though I am not convinced.
SubClassOf(C1 C2)
SubClassOf(Ci C1)
SubClassOf(Cj C2)
DisjointClasses(Ci Cj)

I don't know why anyone would say that this is inconsistent. It's not even incoherent (ie all the classes are satisfiable).

Maybe you transcribed it wrong?

I tried this ontology using protégé, I ran the reasoner,but no inconsistency was detected. Please, tell me if this sub-ontology contains a meaningless (because I don't think that is meaningless or inconsistent).
Thank you for confirming my thoughts.
Regards.