Added more closing axioms for ontology.