The given axiom is mapped to a syntactically simpler form in order to achieve better compatibility with OWL tools and OWL fragments (which are defined based on syntax). In most cases the axiom is preserved as it is, we only target the following forms:

ObjectPropertyDomain

ObjectPropertyRange

DisjointClasses

@author Kaarel Kaljurand @version 2013-04-07 @license LGPLv3

 simplify_axiom(+Axiom:term, -SimplerAxiom:term) is det

Note: rule order is important

Arguments:

Axiom	- is an OWL axiom
SimplerAxiom	- is the same axiom possibly in a simpler form