Ontology_Manager.py now skips obsolete terms.