Towards Semantics for Abstractions in Ontology-Driven Conceptual Modeling
Pages 199 - 209
Abstract
Ontology-driven conceptual models are precise and semantically transparent domain descriptions that enable the development of information systems. As symbolic artefacts, such models are usually considered to be self-explanatory. However, the complexity of a system significantly correlates with the complexity of the conceptual model that describes it. Abstractions of both conceptual models and ontology-driven conceptual models are thus considered to be a promising way to improve the understandability and comprehensibility of those models. Although algorithms for providing abstractions of such models already exist, they still lack precisely formulated formal semantics. This paper aims to provide an approach towards the formalization of the abstraction process. We specify in first-order modal logic one of the graph-rewriting rules for ontology-driven conceptual model abstractions, in order to verify the correctness of the corresponding abstraction step. We also assess the entire network of abstractions of ontology-driven conceptual models and discuss existing drawbacks.
References
[1]
Barcelos, P.P., et al.: A FAIR model catalog for ontology-driven conceptual modeling research. In: Ralyté, J., Chakravarthy, S., Mohania, M., Jeusfeld, M.A., Karlapalem, K. (eds.) Conceptual Modeling. ER 2022. LNCS, vol. 13607, pp. 3–17. Springer. Cham (2022).
[2]
Bork, D.: Conceptual modeling and artificial intelligence: Challenges and opportunities for enterprise engineering. In: Aveiro, D., Proper, H.A., Guerreiro, S., de Vries, M. (eds.) Advances in Enterprise Engineering XV. EEWC 2021. LNCS, vol. 441, pp. 3–9 Springer. Cham (2022).
[3]
de Carvalho VA, Almeida JPA, Guizzardi G, et al. Jarke M et al. Using reference domain ontologies to define the real-world semantics of domain-specific languages Advanced Information Systems Engineering 2014 Cham Springer 488-502
[4]
Fitting, M., Mendelsohn, R.L.: First order modal logic. Synthese library 277, Kluwer Acad. Publ, Boston (1998)
[5]
Fonseca CM, Porello D, Guizzardi G, Almeida JPA, and Guarino N Laender AHF, Pernici B, Lim E-P, and de Oliveira JPM Relations in ontology-driven conceptual modeling Conceptual Modeling 2019 Cham Springer 28-42
[6]
Fonseca, C.M. et al.: Ontology-driven conceptual modelling as a service. In: Proceedings of JOWO. CEUR, vol. 2969 (2021). www.ceur-ws.org/Vol-2969/paper29-FOMI.pdf
[7]
Gangemi A and Presutti V Staab S and Studer R Ontology design patterns Handbook on Ontologies 2009 Heidelberg Springer 221-243
[8]
Ghidini, C., Giunchiglia, F.: A semantics for abstraction. Technical report DIT-03-082, University of Trento (2003)
[9]
Ghidini, C., Giunchiglia, F.: What is local models semantics? In: Bouquet, P., Serafini, L., Thomason, R.H. (eds.) Perspectives on Contexts. CSLI (2008)
[10]
Giunchiglia F and Walsh T A theory of abstraction Artif. Intell. 1992 57 2 323-389
[11]
Guerson, J., Sales, T.P., Guizzardi, G., Almeida, J.P.A.: OntoUML lightweight editor: a model-based environment to build, evaluate and implement reference ontologies. In: Kolb, J. (eds.) 2015 IEEE 19th International Enterprise Distributed Object Computing Workshop, EDOC Workshops 2015, Adelaide, SA, Australia, pp. 144–147. IEEE Computer Society (2015),
[12]
Guizzardi, G., Figueiredo, G., Hedblom, M.M., Poels, G.: Ontology-based model abstraction. In: Proceedings of the 13th International Conference on Research Challenges in Information Science (RCIS). pp. 1–13. IEEE (2019)
[13]
Guizzardi, G., Fonseca, C.M., Almeida, J.P.A., Sales, T.P., Benevides, A.B., Porello, D.: Types and taxonomic structures in conceptual modeling: A novel ontological theory and engineering support. Data Knowl. Eng. 134, 101891 (2021). ISSN 0169-023X.
[14]
Guizzardi G, Botti Benevides A, Fonseca CM, Porello D, Almeida JPA, and Prince Sales T UFO: unified foundational ontology Appl. Ontol. 2022 17 1 167-210
[15]
Hobbs, J.R.: Granularity. In: Proceedings of IJCAI, vol. 1. Morgan Kaufmann (1985)
[16]
Kracht, M., Kutz, O.: Logically possible worlds and counterpart semantics for modal logic. In: Handbook of the Philosophy of Science. Elsevier (2007)
[17]
Plaisted DA Theorem proving with abstraction Artif. Intell. 1981 16 1 47-108
[18]
Romanenko, E., et al.: Abstracting ontology-driven conceptual models: Objects, aspects, events, and their parts. In: Guizzardi, R., Ralyté, J., Franch, X. (eds.) Research Challenges in Information Science. RCIS 2022. LNCS, vol. 446, pp. 372–388 Springer. Cham (2022).
[19]
Romanenlo, E., et al.: What do users think about abstractions of ontology-driven conceptual models? In: Nurcan, S., Opdahl, A.L., Mouratidis, H., Tsohou, A. (eds.) Research Challenges in Information Science: Information Science and the Connected World. RCIS 2023. LNBIP, vol. 476, pp. 53–68. Springer, Cham (2023).
[20]
Saitta L and Zucker JD Abstraction in Artificial Intelligence and Complex Systems 2013 New York Springer
[21]
Tenenberg, J.D.: Preserving consistency across abstraction mappings. In: IJCAI, pp. 1011–1014 (1987). www.ijcai.org/Proceedings/87-2/Papers/090.pdf
[22]
Verdonck M and Gailly F Comyn-Wattiau I, Tanaka K, Song I-Y, Yamamoto S, and Saeki M Insights on the use and application of ontology and conceptual modeling languages in ontology-driven conceptual modeling Conceptual Modeling 2016 Cham Springer 83-97
[23]
Villegas Niño, A.: A filtering engine for large conceptual schemas. Ph.D. thesis, Universitat Politècnica de Catalunya (2013)
[24]
Zambon, E., Guizzardi, G.: Formal definition of a general ontology pattern language using a graph grammar. In: Proceedings of the 2017 Federated Conference on Computer Science and Information Systems. IEEE (2017).
Recommendations
Events as Entities in Ontology-Driven Conceptual Modeling
Conceptual ModelingAbstractThe Unified Foundational Ontology (UFO) has been used to provide foundations for the major conceptual modeling constructs. This ontology has led to the OntoUML Ontology-Driven Conceptual Modeling language, a UML class diagram profile reflecting ...
Incorporating ontology-based semantics into conceptual modelling
With the increasing complexity of applications and user needs, recent research has shifted from a data-information level to a human semantic level interaction. Research has begun to address the increasing use and development of ontologies in various ...
Towards ontology interoperability through conceptual groundings
OM'08: Proceedings of the 3rd International Conference on Ontology Matching - Volume 431The widespread use of ontologies raises the need to resolve heterogeneities between distinct conceptualisations in order to support interoperability. The aim of ontology mapping is, to establish formal relations between a set of knowledge entities which ...
Comments
Information & Contributors
Information
Published In
Nov 2023
352 pages
ISBN:978-3-031-47111-7
DOI:10.1007/978-3-031-47112-4
© The Author(s), under exclusive license to Springer Nature Switzerland AG 2023.
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 06 November 2023
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 21 Sep 2024
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in