Added method getInferredAxioms to IOntology interface.
Added new getClassifiedOntology method to IReasoner interface.
Added inferred axioms to ontology implementation.