Formal Ontology for the improvement and integration of biomedical terminologies J. Simon* Ontology-based algorithms for error checking and semantic relationships.