Computer Science – Logic in Computer Science
Scientific paper
2007-02-15
Computer Science
Logic in Computer Science
17 pages, 2 figures. Changes: added references and proofs of correctness of encoding, fixed typos
Scientific paper
In recent years, several efforts have been made to enhance conceptual data modelling with automated reasoning to improve the model's quality and derive implicit information. One approach to achieve this in implementations, is to constrain the language. Advances in Description Logics can help choosing the right language to have greatest expressiveness yet to remain within the decidable fragment of first order logic to realise a workable implementation with good performance using DL reasoners. The best fit DL language appears to be the ExpTime-complete DLRifd. To illustrate trade-offs and highlight features of the modelling languages, we present a precise transformation of the mappable features of the very expressive (undecidable) ORM/ORM2 conceptual data modelling languages to exactly DLRifd. Although not all ORM2 features can be mapped, this is an interesting fragment because it has been shown that DLRifd can also encode UML Class Diagrams and EER, and therefore can foster interoperation between conceptual data models and research into ontological aspects of the modelling languages.
No associations
LandOfFree
Mapping the Object-Role Modeling language ORM2 into Description Logic language DLRifd does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Mapping the Object-Role Modeling language ORM2 into Description Logic language DLRifd, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Mapping the Object-Role Modeling language ORM2 into Description Logic language DLRifd will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-196293