Abstracting conceptual models as a weakening process

DOI10.1007/978-3-031-99536-1_9MaRDI QIDQ6876461zbMATH OpenFDO

Authors E. Yu. Romanenko, Oliver Kutz, Diego Calvanese, Giancarlo Guizzardi

Publication date 13 January 2026

Full work available at URL https://doi.org/10.1007/978-3-031-99536-1_9

zbMATH Keywords

\( \mathcal{SROIQ} \)axiom weakeningontology-driven conceptual modelssemantics for abstraction

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A theory of abstraction
• An introduction to description logic
• Forgetting in multi-agent modal logics
• scientific article; zbMATH DE number 5589211 (Why is no real title available?)
• On the Properties of Metamodeling in OWL
• Reasoning on UML class diagrams
• The Description Logic Handbook
• Theorem proving with abstraction

This page was built for publication: Abstracting conceptual models as a weakening process

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6876461)