Axiom evaluation

This evaluation checks the validity and coherence of the axioms encoded in the ontology.