Re: General Class Inclusion

 

     Le Mercredi 10 décembre 2014 0h59, Leila Bayoudhi <bayoudhileila@yahoo.fr> a écrit :
   

 Hi,I really want to be aware of effects (in terms of contradictions with other alredy existing axioms) of introducing a subClassOfAxiom involving a sublassExpression(objecOneOf,objectAllValuesFRom,....) and a named class as superClass.(this axiom is known by " general class axiom")...Can i do it easily? How? I read  in some paper this statement " far-reaching and unexpected effects of using general class axioms": This makes my object far from possible.Thank you for helping me.


   

Received on Wednesday, 10 December 2014 00:14:14 UTC