Abstract
The Unified Foundational Ontology (UFO) has been used to provide foundations for the major conceptual modeling constructs. So far, UFO has reflected a view in which domain entities are fundamentally divided into those that collect invariants of the domain (i.e., types) and those entities that manifest those invariants (i.e., instances), following the conventional two-level classification scheme. This paper extends UFO with support for multi-level classification schemes, in which some entities accumulate both type-like and instance-like characteristics. This requires an ontological interpretation and a formal theory of types of types. This theory is employed to engineer new constructs and constraints into the OntoUML language, and to develop computational support for the formal verification of constraint violation over multi-level conceptual models.
| Original language | English |
|---|---|
| Title of host publication | Conceptual Modeling |
| Subtitle of host publication | 41st International Conference, ER2022, Hyderabad, India, October 17-20,2022, Proceedings |
| Publisher | Springer Nature |
| Pages | 18-34 |
| Number of pages | 17 |
| ISBN (Electronic) | 978-3-031-17995-2 |
| ISBN (Print) | 978-3-031-17994-5 |
| DOIs | |
| Publication status | Published - 10 Oct 2022 |
| Event | 41st International Conference on Conceptual Modeling, ER 2022 - Virtual Event Duration: 17 Oct 2022 → 20 Oct 2022 Conference number: 41 https://er2022web.github.io/ER2022/ |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer Nature |
| Volume | 13607 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 41st International Conference on Conceptual Modeling, ER 2022 |
|---|---|
| Abbreviated title | ER 2022 |
| City | Virtual Event |
| Period | 17/10/22 → 20/10/22 |
| Internet address |
Keywords
- Ontology-driven conceptual modeling
- Multi-level modeling
- High-order types
- UFO
- OntoUML
- 2023 OA procedure