Updated version supporting with ARMOR, SIT and OWLOOP.
In this version improves:
- equivalent to super class axiom conversion
- intersection of expression for axioms defining class equivalence and object/data properties range/domain (still limited)
- gives a better support toward SPARQL integration.
