Formal Ontologies in the Realm of Enterprise Modeling: enterprise model transformation and integration

  • Bachelor Thesis Business Information Systems
  • Master Thesis Business Information Systems
  • Diploma Thesis Business Information Systems



Application of formal ontologies (i.e., a set of logical axioms designed to account for the intended meaning of a vocabulary) in the realm of enterprise modeling (EM) may help to address some challenges that EM is facing. The formal ontologies may provide the knowledge about the domain of discourse, which can become the basis for the model creation and a DSML development; it may contribute to the model understandability and interoperability by providing a shared vocabulary and unambiguous semantics; it may support model-driven development and transformation; it may contribute to the productivity of modeling by providing domain-specific terminology, supporting the consistency/conformance checking, and facilitates reusability. The main benefits from applying formal ontologies in the realm of EM, which distinguish it from other knowledge representation schemas, are: machine reasoning, logic-based schema flexibility and ability to integrate easily a number of data sources. These features are of utmost importance in the enterprise model analysis, transformation and integration.


The main aim of this work is to: investigate the existing approaches to integration of enterprise models created following different modeling approaches/modeling languages; analyze the role a formal ontology can play in this process, point to the strengths and weaknesses, propose the ontology-based integration approach and show its application on the selected use case.


  • N. Guarino and P. Giaretta, “Ontologies and knowledge bases. Towards a terminological clarification,” in Towards Very Large Knowledge Bases: Knowledge Building and Knowledge Sharing, N. Mars, Ed. IOS Press, 1995, pp. 25–32.
  • M. Fox and M. Grueninger, “Ontologies for enterprise modeling,” in Enterprise Engineering and Integration, ser. Research Reports Esprit, K. Kosanke and J. Nell, Eds. Berlin: Springer, 1997, pp. 190–200.
  • Caetano, A., Antunes, G., Silva, M. M. D., and Borbinha, J. (2015). Business models - analysis of federated business models: An application to archimate, bmc and e3value. In Proceedings of the 17th IEEE Conference on Business Informatics (CBI 2015). IEEE.
  • Antunes, G., Caetano, A., Bakhshandeh, M., Mayer, R., and Borbinha, J. L. (2013). Using ontologies to integrate multiple enterprise architecture domains. In Abramowicz, W., editor, Business Information Systems Workshops - BIS 2013 International Workshops, Poznan, Poland, June 19-20, 2013, Revised Papers, volume 160 of Lecture Notes in Business Information Processing, pages 61–72. Springer.