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]](http://pubs.cs.uct.ac.za/style/images/fileicons/application_pdf.png) |
PDF
DL15ORMtoCFD.pdf Download (483kB) |
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.
| 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 |