Semi-Automatic Verification of Ontology Compatibility Supported by Reasoning

As the amount of available ontologies and their size grow, ontology reuse gains in importance. However, the online available formalized knowledge in many cases need a revision which can lead to a high manual effort. In this paper, we propose an approach to support the revision of ontologies. We show that our method reduces the manual effort measured in number of decisions that have to be made by an ontology engineer by up to 83%.