2024/05/03 by Fillottrani, Pablo R., Keet, C. Maria
#Computing methodologies → Description logics #Conceptual Data Modelling #Description Logics #EER #Information systems → Database design and models #OWL #Software and its engineering → Formal language definitions #Software and its engineering → Unified Modeling Language (UML) #Theory of computation → Data modeling #UML
paper · doi:10.4230/tgdk.2.1.4
Information modelling for databases and object-oriented information systems avails of conceptual data modelling languages such as EER and UML Class Diagrams. Many attempts exist to add logical rigour to them, for various reasons and with disparate strengths. In this paper we aim to provide a structured overview of the many efforts. We focus on aims, approaches to the formalisation, including key dimensions of choice points, popular logics used, and the main relevant reasoning services. We close with current challenges and research directions.