Did you know ... Search Documentation:
Pack ape -- prolog/utils/owlswrl/simplify_axiom.pl
PublicShow source

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:

@author Kaarel Kaljurand @version 2013-04-07 @license LGPLv3
 simplify_axiom(+Axiom:term, -SimplerAxiom:term) is det
Note: rule order is important
Axiom- is an OWL axiom
SimplerAxiom- is the same axiom possibly in a simpler form