Toward a formal research framework for ontological analyses

Ontological analyses have been used in numerous publications to compare existing modelling grammars with an ontology. However, a sound theoretical research framework is still missing. Consequently, working with the results of such ontological analyses is theoretically questionable. Therefore, the aim of this paper is threefold. Firstly, we want to contribute to such a theoretical research framework by formalising the ontological analyses approach as sets of mathematical functions between ontological and modelling grammar constructs. Secondly, on this basis, we derive four formal requirements each ontological analyses must comply with. Thirdly, we analyse whether current state of the art ontological analyses comply with our findings. While the formalisation demonstrates the strengths of the ontological analysis approach we conclude that current analyses have theoretical deficiencies, which lead to serious limitations in their application. Lastly, we demonstrate the usefulness of our formal framework by describing a new application. This application uses two different ontological analyses as input and produces mappings between the modelling grammars used in these analyses as output.