Abstracting Conceptual Models as a Weakening Process

Elena Romanenko; Oliver Kutz; Diego Calvanese; Giancarlo Guizzardi

doi:10.1007/978-3-031-99536-1_9

Abstracting Conceptual Models as a Weakening Process

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)

47 Downloads (Pure)

Abstract

Utilizing abstractions of large conceptual models may enhance their clarity and comprehensibility. This work assesses an existing algorithm for generating abstractions of ontology-driven conceptual models. Although the algorithm has been empirically evaluated using the FAIR catalog of such models, it still lacks formal semantics. This paper addresses this gap by formalizing the basic transformations underlying the abstraction process in SROIQ—the expressive and decidable description logic that underpins the Web Ontology Language (OWL 2). Specifically, it demonstrates that, under certain natural assumptions, these transformations are obtained by a formal procedure known as axiom weakening.

Original language	English
Title of host publication	Logic, Language, Information, and Computation
Subtitle of host publication	31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings
Editors	Dexter Kozen, Ruy de Queiroz
Publisher	Springer
Pages	141-157
Number of pages	17
ISBN (Electronic)	978-3-031-99536-1
ISBN (Print)	978-3-031-99535-4
DOIs	https://doi.org/10.1007/978-3-031-99536-1_9
Publication status	Published - 1 Aug 2025
Event	31st Workshop on Logic, Language, Information and Computation, WoLLIC 2025 - Porto, Portugal Duration: 14 Jul 2025 → 17 Jul 2025 Conference number: 31

Publication series

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

Workshop

Workshop	31st Workshop on Logic, Language, Information and Computation, WoLLIC 2025
Abbreviated title	WoLLIC 2025
Country/Territory	Portugal
City	Porto
Period	14/07/25 → 17/07/25

Keywords

2025 OA procedure
Ontology-driven conceptual models
Semantics for abstractions
SROIQ
Axiom weakening

Access to Document

10.1007/978-3-031-99536-1_9

ArticleFinal published version, 697 KBLicence: Taverne

Cite this

Romanenko, E., Kutz, O., Calvanese, D., & Guizzardi, G. (2025). Abstracting Conceptual Models as a Weakening Process. In D. Kozen, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings (pp. 141-157). (Lecture Notes in Computer Science; Vol. 15942). Springer. https://doi.org/10.1007/978-3-031-99536-1_9

@inproceedings{e110d7c33c6d4146b58faefc29a8e35b,

title = "Abstracting Conceptual Models as a Weakening Process",

abstract = "Utilizing abstractions of large conceptual models may enhance their clarity and comprehensibility. This work assesses an existing algorithm for generating abstractions of ontology-driven conceptual models. Although the algorithm has been empirically evaluated using the FAIR catalog of such models, it still lacks formal semantics. This paper addresses this gap by formalizing the basic transformations underlying the abstraction process in SROIQ—the expressive and decidable description logic that underpins the Web Ontology Language (OWL 2). Specifically, it demonstrates that, under certain natural assumptions, these transformations are obtained by a formal procedure known as axiom weakening.",

keywords = "2025 OA procedure, Ontology-driven conceptual models, Semantics for abstractions, SROIQ, Axiom weakening",

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

note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2026.; 31st Workshop on Logic, Language, Information and Computation, WoLLIC 2025, WoLLIC 2025 ; Conference date: 14-07-2025 Through 17-07-2025",

year = "2025",

month = aug,

day = "1",

doi = "10.1007/978-3-031-99536-1\_9",

language = "English",

isbn = "978-3-031-99535-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "141--157",

editor = "Dexter Kozen and \{de Queiroz\}, Ruy",

booktitle = "Logic, Language, Information, and Computation",

}

Romanenko, E, Kutz, O, Calvanese, D & Guizzardi, G 2025, Abstracting Conceptual Models as a Weakening Process. in D Kozen & R de Queiroz (eds), Logic, Language, Information, and Computation: 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings. Lecture Notes in Computer Science, vol. 15942, Springer, pp. 141-157, 31st Workshop on Logic, Language, Information and Computation, WoLLIC 2025, Porto, Portugal, 14/07/25. https://doi.org/10.1007/978-3-031-99536-1_9

Abstracting Conceptual Models as a Weakening Process. / Romanenko, Elena; Kutz, Oliver; Calvanese, Diego et al.
Logic, Language, Information, and Computation: 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings. ed. / Dexter Kozen; Ruy de Queiroz. Springer, 2025. p. 141-157 (Lecture Notes in Computer Science; Vol. 15942).

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

TY - GEN

T1 - Abstracting Conceptual Models as a Weakening Process

AU - Romanenko, Elena

AU - Kutz, Oliver

AU - Calvanese, Diego

AU - Guizzardi, Giancarlo

N1 - Conference code: 31

PY - 2025/8/1

Y1 - 2025/8/1

N2 - Utilizing abstractions of large conceptual models may enhance their clarity and comprehensibility. This work assesses an existing algorithm for generating abstractions of ontology-driven conceptual models. Although the algorithm has been empirically evaluated using the FAIR catalog of such models, it still lacks formal semantics. This paper addresses this gap by formalizing the basic transformations underlying the abstraction process in SROIQ—the expressive and decidable description logic that underpins the Web Ontology Language (OWL 2). Specifically, it demonstrates that, under certain natural assumptions, these transformations are obtained by a formal procedure known as axiom weakening.

AB - Utilizing abstractions of large conceptual models may enhance their clarity and comprehensibility. This work assesses an existing algorithm for generating abstractions of ontology-driven conceptual models. Although the algorithm has been empirically evaluated using the FAIR catalog of such models, it still lacks formal semantics. This paper addresses this gap by formalizing the basic transformations underlying the abstraction process in SROIQ—the expressive and decidable description logic that underpins the Web Ontology Language (OWL 2). Specifically, it demonstrates that, under certain natural assumptions, these transformations are obtained by a formal procedure known as axiom weakening.

KW - 2025 OA procedure

KW - Ontology-driven conceptual models

KW - Semantics for abstractions

KW - SROIQ

KW - Axiom weakening

UR - https://www.scopus.com/pages/publications/105013020453

U2 - 10.1007/978-3-031-99536-1_9

DO - 10.1007/978-3-031-99536-1_9

M3 - Conference contribution

SN - 978-3-031-99535-4

T3 - Lecture Notes in Computer Science

SP - 141

EP - 157

BT - Logic, Language, Information, and Computation

A2 - Kozen, Dexter

A2 - de Queiroz, Ruy

PB - Springer

T2 - 31st Workshop on Logic, Language, Information and Computation, WoLLIC 2025

Y2 - 14 July 2025 through 17 July 2025

ER -

Romanenko E, Kutz O, Calvanese D, Guizzardi G. Abstracting Conceptual Models as a Weakening Process. In Kozen D, de Queiroz R, editors, Logic, Language, Information, and Computation: 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings. Springer. 2025. p. 141-157. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-99536-1_9

Abstracting Conceptual Models as a Weakening Process

Abstract

Publication series

Workshop

Keywords

Access to Document

Other files and links

Fingerprint

An Ontology-Driven Domain-Specific Modeling Language for Specification and Evaluation of Resilience Scenarios in Complex Systems

An ontological lens on attack trees: Toward adequacy and interoperability

Conceptual modeling: Foundations, a historical perspective, and a vision for the future

Cite this