Question about a logical inconsistency from Leila Bayoudhi on 2018-03-04 (public-owl-dev@w3.org from January to March 2018)

From: Leila Bayoudhi <bayoudhileila@yahoo.fr>
Date: Sun, 4 Mar 2018 14:57:00 +0000 (UTC)
To: "public-owl-dev@w3.org" <public-owl-dev@w3.org>
Message-ID: <1509490220.14950435.1520175420878@mail.yahoo.com>

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

Received on Sunday, 4 March 2018 14:57:45 UTC