Marco Ziener

A framework for inconsistency detection in expressive ontologies

Betreuer: Christoph Benzmüller , Marcel Kyas
Abschluss: Bachelor of Science (B.Sc.)
Abgabedatum: 23.06.2013


Expressive ontologies provide a useful tool for the precise and short description of knowledge at increased costs for computation. Due to the expressiveness it is also easier to introduce contradictions and inconsistencies into the ontology and thus disallow to apply it in practical problems. In this work an extendable framework for the detection of inconsistencies is described and implemented on the basis of a graph  representation of the ontology. The framework is used concretely for checking the partial consistency of the Suggested Upper Merged Ontology. In the end different kinds of errors are categorized and analyzed.