Re: Question about a logical inconsistency

On 4 Mar 2018 07:32, "Bijan Parsia" <bijan.parsia@manchester.ac.uk> wrote:

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



something like

SubClassOf(Organization, Agent)
SubClassOf(GovtOrganization, Organization)
SubClassOf(Person, Agent)
DisjointClasses(GovtOrganization,Person)

...seems sensible enough (which is no guarantee of anything :)



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.