Towards Semantics for Abstractions in Ontology-Driven Conceptual Modeling

Elena Romanenko; Oliver Kutz; Diego Calvanese; Giancarlo Guizzardi

doi:10.1007/978-3-031-47112-4_19

Towards Semantics for Abstractions in Ontology-Driven Conceptual Modeling

Elena Romanenko^*, Oliver Kutz, Diego Calvanese, Giancarlo Guizzardi

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

28 Downloads (Pure)

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.

Original language	English
Title of host publication	Advances in Conceptual Modeling - ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings
Editors	Tiago Prince Sales, João Araújo, José Borbinha, Giancarlo Guizzardi
Place of Publication	Switzerland
Publisher	Springer
Pages	199-209
Number of pages	11
Volume	14319
ISBN (Electronic)	978-3-031-47112-4
ISBN (Print)	978-3-031-47111-7
DOIs	https://doi.org/10.1007/978-3-031-47112-4_19
Publication status	Published - 26 Oct 2023
Event	42nd International Conference on Conceptual Modeling, ER 2023 - Congress Center of the Instituto Superior Técnico, Lisbon, Portugal Duration: 6 Nov 2023 → 9 Nov 2023 Conference number: 42 https://er2023.inesc-id.pt/

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	14319
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	42nd International Conference on Conceptual Modeling, ER 2023
Abbreviated title	ER
Country/Territory	Portugal
City	Lisbon
Period	6/11/23 → 9/11/23
Internet address	https://er2023.inesc-id.pt/

Keywords

Semantics for abstractions
Abstractions of ontology-driven onceptual models
Networks of model abstractions
2024 OA procedure

Access to Document

10.1007/978-3-031-47112-4_19

ArticleFinal published version, 1.29 MBLicence: Taverne

1 Citations
4 Conference contribution
4 Article
2 Book editing
1 Chapter
More
- 1 Preprint

What Do I Get from Modeling? An Empirical Study on Using Structural Conceptual Models
Valle Sousa, I., Prince Sales, T., Guerra, E., Olavo Bonino da Silva Santos, L. & Guizzardi, G., 2024, Enterprise Design, Operations, and Computing: 27th International Conference, EDOC 2023, Groningen, The Netherlands, October 30 – November 3, 2023, Proceedings. Proper, H. A., Pufahl, L., Karastoyanova, D., van Sinderen, M. & Moreira, J. (eds.). Cham: Springer, p. 21-38 18 p. (Lecture Notes in Computer Science; vol. 14367).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access
File
1 Citation (Scopus)

28 Downloads (Pure)
A FAIR catalog of ontology-driven conceptual models
Sales, T. P., Barcelos, P. P. F., Fonseca, C. M., Souza, I. V., Romanenko, E., Bernabé, C. H., Bonino da Silva Santos, L. O., Fumagalli, M., Kritz, J., Almeida, J. P. A. & Guizzardi, G., Sept 2023, In: Data & knowledge engineering. 147, 102210.
Research output: Contribution to journal › Article › Academic › peer-review

Open Access
File
3 Citations (Scopus)

57 Downloads (Pure)
An ontology-based approach to engineering ethicality requirements
Guizzardi - Silva Souza, R., Moura Amaral, G. C., Guizzardi, G. & Mylopoulos, J., Dec 2023, In: Software and systems modeling. 22, 6, p. 1897-1923 27 p.
Research output: Contribution to journal › Article › Academic › peer-review

Open Access
File
5 Citations (Scopus)

49 Downloads (Pure)

Cite this

Romanenko, E., Kutz, O., Calvanese, D., & Guizzardi, G. (2023). Towards Semantics for Abstractions in Ontology-Driven Conceptual Modeling. In T. P. Sales, J. Araújo, J. Borbinha, & G. Guizzardi (Eds.), Advances in Conceptual Modeling - ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings (Vol. 14319, pp. 199-209). (Lecture Notes in Computer Science; Vol. 14319). Springer. https://doi.org/10.1007/978-3-031-47112-4_19

Romanenko, Elena ; Kutz, Oliver ; Calvanese, Diego et al. / Towards Semantics for Abstractions in Ontology-Driven Conceptual Modeling. Advances in Conceptual Modeling - ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings. editor / Tiago Prince Sales ; João Araújo ; José Borbinha ; Giancarlo Guizzardi. Vol. 14319 Switzerland : Springer, 2023. pp. 199-209 (Lecture Notes in Computer Science).

@inproceedings{d86c32046bfc438a861293f4ff3b1a69,

title = "Towards Semantics for Abstractions in Ontology-Driven Conceptual Modeling",

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.",

keywords = "Semantics for abstractions, Abstractions of ontology-driven onceptual models, Networks of model abstractions, 2024 OA procedure",

author = "Elena Romanenko and Oliver Kutz and Diego Calvanese and Giancarlo Guizzardi",

note = "1. https://github.com/OntoUML/ontouml-vp-plugin. 2. https://www.visual-paradigm.com/. 3. Examples of such models can be found in the FAIR Catalog of OntoUML/UFO models [1] we mentioned earlier, e.g., pereira2020ontotrans. 4. An example of a model whose complete abstraction will include two classes only is stock-broker2021. 5. E.g., for the model silva2012itarchitecture.; 42nd International Conference on Conceptual Modeling, ER 2023, ER ; Conference date: 06-11-2023 Through 09-11-2023",

year = "2023",

month = oct,

day = "26",

doi = "10.1007/978-3-031-47112-4_19",

language = "English",

isbn = "978-3-031-47111-7",

volume = "14319",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "199--209",

editor = "Sales, {Tiago Prince} and Jo{\~a}o Ara{\'u}jo and Jos{\'e} Borbinha and Giancarlo Guizzardi",

booktitle = "Advances in Conceptual Modeling - ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings",

address = "Germany",

url = "https://er2023.inesc-id.pt/",

}

Romanenko, E, Kutz, O, Calvanese, D & Guizzardi, G 2023, Towards Semantics for Abstractions in Ontology-Driven Conceptual Modeling. in TP Sales, J Araújo, J Borbinha & G Guizzardi (eds), Advances in Conceptual Modeling - ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings. vol. 14319, Lecture Notes in Computer Science, vol. 14319, Springer, Switzerland, pp. 199-209, 42nd International Conference on Conceptual Modeling, ER 2023, Lisbon, Portugal, 6/11/23. https://doi.org/10.1007/978-3-031-47112-4_19

Towards Semantics for Abstractions in Ontology-Driven Conceptual Modeling. / Romanenko, Elena; Kutz, Oliver; Calvanese, Diego et al.
Advances in Conceptual Modeling - ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings. ed. / Tiago Prince Sales; João Araújo; José Borbinha; Giancarlo Guizzardi. Vol. 14319 Switzerland: Springer, 2023. p. 199-209 (Lecture Notes in Computer Science; Vol. 14319).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Towards Semantics for Abstractions in Ontology-Driven Conceptual Modeling

AU - Romanenko, Elena

AU - Kutz, Oliver

AU - Calvanese, Diego

AU - Guizzardi, Giancarlo

N1 - Conference code: 42

PY - 2023/10/26

Y1 - 2023/10/26

N2 - 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.

AB - 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.

KW - Semantics for abstractions

KW - Abstractions of ontology-driven onceptual models

KW - Networks of model abstractions

KW - 2024 OA procedure

U2 - 10.1007/978-3-031-47112-4_19

DO - 10.1007/978-3-031-47112-4_19

M3 - Conference contribution

SN - 978-3-031-47111-7

VL - 14319

T3 - Lecture Notes in Computer Science

SP - 199

EP - 209

BT - Advances in Conceptual Modeling - ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings

A2 - Sales, Tiago Prince

A2 - Araújo, João

A2 - Borbinha, José

A2 - Guizzardi, Giancarlo

PB - Springer

CY - Switzerland

T2 - 42nd International Conference on Conceptual Modeling, ER 2023

Y2 - 6 November 2023 through 9 November 2023

ER -

Romanenko E, Kutz O, Calvanese D, Guizzardi G. Towards Semantics for Abstractions in Ontology-Driven Conceptual Modeling. In Sales TP, Araújo J, Borbinha J, Guizzardi G, editors, Advances in Conceptual Modeling - ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings. Vol. 14319. Switzerland: Springer. 2023. p. 199-209. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-47112-4_19

Towards Semantics for Abstractions in Ontology-Driven Conceptual Modeling

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Research output

What Do I Get from Modeling? An Empirical Study on Using Structural Conceptual Models

A FAIR catalog of ontology-driven conceptual models

An ontology-based approach to engineering ethicality requirements

Cite this