Multi-Level Modelling und OWL: Implementierung von Mapping und Werkzeug-Unterstützung

The area of multilevel modeling has become very popular in recent years. In this context, Neumayr and Schrefl introduced Multi-Level Objects (M-Objects) and Multi-Level Relationships (M-Relationships) and defined their mapping to OWL 2 (Description Logic SROIQ). Furthermore they show how such a multi-level model might look like. My colleague Alois Diwold already implemented a modeling tool for M-Objects and M-Relationships based on Protégé Frames in his thesis. My thesis builds on his realization by creating an export plugin for Protégé that implements the mapping algorithm of Neumayr and Schrefl and transforms M-Objects and M-Relationships modeled in Protégé to OWL. This is also the first major task of this work. The second key point of this work deals with the identification of a suitable reasoner for M-Objects and M-Relationships modeled in OWL. In this context I performed Reasoning – Performance Studies, where I focused on the OWL reasoner Pellet, Fact++ and HermiT. Unfortunately, I had to recognize soon, that none of them is yet in the position to interpret correctly the Integrity Constraints (IC), a recently announced extension to OWL, contained in the mapping algorithm. Some of the ICs were interpreted correctly, but this is due to the fact that these axioms can also be interpreted under the Open World Assumption. In this context it remains to be seen whether ICs are supported by OWL reasoners in the future. Since the evaluated reasoners provided all the same results, I was only able to choose an appropriate reasoner because of the run-time behavior.