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

Fillottrani, Pablo Ruben and Keet, C. Maria and Toman, David (2015) Polynomial encoding of ORM conceptual models in CFDI_nc^\forall-, Proceedings of 28th International Workshop on Description Logics (DL'15), 7-10 June 2015, Athens, Greece, 1350, 401-414, CEUR-WS.

[img] PDF

Download (483kB)


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.

Item Type: Conference paper
Uncontrolled Keywords: Description logics, CFD, Conceptual data Modelling, ORM
Subjects: Theory of computation > Formal languages and automata theory
Computing methodologies > Artificial intelligence
Alternate Locations: http://www.meteck.org/files/DL15ORMtoCFD.pdf
Date Deposited: 08 Jul 2015
Last Modified: 10 Oct 2019 15:32
URI: http://pubs.cs.uct.ac.za/id/eprint/1021

Actions (login required)

View Item View Item