ontolearn.base.axioms

Logic behind adding and removing axioms.