Extending the Foundations of Ontology-Based Conceptual Modeling with a Multi-level Theory

• Published in: Conceptual Modeling pp. 119 - 133
• Main Authors: Carvalho, Victorio A., Almeida, João Paulo A., Fonseca, Claudenir M., Guizzardi, Giancarlo
• Format: Book Chapter
• Language: English
• Published: Cham Springer International Publishing
• Series: Lecture Notes in Computer Science
• Subjects: Conceptual modeling; Multi-level modeling; Ontology
• ISBN: 3319252631; 9783319252636
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/978-3-319-25264-3_9

Since the late 1980s, there has been a growing interest in the use of foundational ontologies to provide a sound theoretical basis for the discipline of conceptual modeling. This has led to the development of ontology-based conceptual modeling techniques whose modeling primitives reflect the conceptual categories defined in a foundational ontology. The ontology-based conceptual modeling language OntoUML, for example, incorporates the distinctions underlying the taxonomy of types in the Unified Foundational Ontology (UFO) (e.g., kinds, phases, roles, mixins etc.). This approach has focused so far on the support to types whose instances are individuals in the subject domain, with no provision for types of types (or categories of categories). In this paper we address this limitation by extending the Unified Foundational Ontology with the MLT multi-level theory. The UFO-MLT combination serves as a foundation for conceptual models that can benefit from the ontological distinctions of UFO as well as MLT’s basic concepts and patterns for multi-level modeling. We discuss the impact of the extended foundation to multi-level conceptual modeling.