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:

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