Evidence-based lean conceptual data modelling languages

Fillottrani, P.R. and Keet, C.M. (2021) Evidence-based lean conceptual data modelling languages, Journal of Computer Science and Technology, 21, 93-111.

[thumbnail of 1587-Article Text-7998-1-10-20211021.pdf] Text
1587-Article Text-7998-1-10-20211021.pdf

Download (1MB)

Abstract

Multiple logic-based reconstructions of conceptual data modelling languages such as EER, UML Class Diagrams, and ORM exist. They mainly cover various fragments of the languages and none are formalised such that the logic applies simultaneously for all three modelling language families as unifying mechanism. This hampers interchangeability, interoperability, and tooling support. In addition, due to the lack of a systematic design process of the logic used for the formalisation, hidden choices permeate the formalisations that have rendered them incompatible. We aim to address these problems, first, by structuring the logic design process in a methodological way. We generalise and extend the DSL design process to apply to logic language design more generally and, in particular, by incorporating an ontological analysis of language features in the process. Second, we specify minimal logic profiles availing of this extended process, including the ontological commitments embedded in the languages, of evidence gathered of language feature usage, and of computational complexity insights from Description Logics (DL). The profiles characterise the essential logic structure needed to handle the semantics of conceptual models, therewith enabling the development of interoperability tools. There is no known DL language that matches exactly the features of those profiles and the common core is small (in the tractable DL ALNI). Although hardly any inconsistencies can be derived with the profiles, it is promising for scalable runtime use of conceptual data models.

Item Type: Journal article (paginated)
Subjects: Information systems > Data management systems > Database design and models
Computing methodologies > Artificial intelligence > Knowledge representation and reasoning
Alternate Locations: https://journal.info.unlp.edu.ar/JCST/article/view/1587/1423
Date Deposited: 03 Dec 2021 10:56
Last Modified: 03 Dec 2021 10:56
URI: https://pubs.cs.uct.ac.za/id/eprint/1471

Actions (login required)

View Item View Item