56
TU/e technische universiteit eindhoven Reasoning Reasoning support is important for –checking the consistency of the ontology and the knowledge –checking for unintended relationships between classes –automatically classifying instances in classes Checks like the preceding ones are valuable for –designing large ontologies, where multiple authors are involved –integrating and sharing ontologies from various sources