Added all axioms to ontology.