- From: Leila Bayoudhi <bayoudhileila@yahoo.fr>
- Date: Sun, 25 Jan 2015 11:23:05 +0000 (UTC)
- To: "public-owl-dev@w3.org" <public-owl-dev@w3.org>
Received on Sunday, 25 January 2015 11:26:33 UTC
Hi,Please, explain me these ambiguous points: - If we already have C1 subClassOf C2 , Why cannot we add C2 subClassOf C1? (It is mentioned in some works but for which reasons?) - Is it possible to axiom to add this axiom , delete the two subClass axioms and transform them to equivalentClasses axiom(C1, C2) - Is equivalent class axiom (C1 , C2) entails that C1 subClassOf C2 and C2 subClassOf C2. (please I want to know also this case where C1 and C2 can be arbitray class expressions? ex C1 subClassOf (allValuesFrom (R, C4)) - For protégé, when I tried these cases, given C1 subClassOf C2 and adding C2 subClassOf C1 => It entails that equiavlenttClassesAxiom(C1, C2) , we have no C1 subClassOf C2 and keeps C2 subClassOf C1 Please help me in finding explanations for these thoughts.
Received on Sunday, 25 January 2015 11:26:33 UTC