UCT CS Research Document Archive

Polynomial encoding of ORM conceptual models in CFDI_nc^\forall-

Fillottrani, Pablo Ruben, C. Maria Keet and David Toman (2015) Polynomial encoding of ORM conceptual models in CFDI_nc^\forall-. In Calvanese, Diego and Boris Konev, Eds. Proceedings 28th International Workshop on Description Logics (DL'15) 1350, pages 401-414, Athens, Greece.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.

Abstract

The use of conceptual models has long been confined to the data analysis stage of software development. In recent years, this has been extended to use them at run-time as well, for, among others, querying large amounts of data. This brings afore the need to have tractable logic-based reconstructions of the conceptual models, i.e., in at most PTIME. We provide such a logic-based reconstruction for most of ORM using the Description Logic language $\mathcal{CFDI}_{nc}^{\forall -}$, which has several features important for conceptual models, notably $n$-ary relationships, complex identification constraints, and role subsumption. The encoding captures over 96\% of the constructs used in practice in the set of 33 ORM diagrams analysed. The results are easily transferable to EER and UML Class diagrams, with an even greater coverage.

EPrint Type:Conference Paper
Keywords:Description logics, CFD, Conceptual data Modelling, ORM
Subjects:F Theory of Computation: F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
I Computing Methodologies: I.2 ARTIFICIAL INTELLIGENCE
ID Code:1021
Deposited By:Keet, C. Maria
Deposited On:08 July 2015
Alternative Locations:http://www.meteck.org/files/DL15ORMtoCFD.pdf