From: Leila B. <bay...@ya...> - 2014-12-09 20:35:55
|
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. |