Abstract
This paper introduces ORM2plus – a new linear syntax and complete semantics expressed in first order logic of ORM2 – which can be shown correctly embedding the original proposal. A provably correct encoding of the core fragment ORM2zero in the \(\mathcal{ALCQI}\) description logic (a fragment of OWL2 with qualified cardinality restrictions and inverse roles) is presented. Complexity of reasoning on ORM2 conceptual schemas, and the ExpTime-membership of reasoning on ORM2zero, are also shown. On the basis of these results, a systematic critique of alternative approaches to the formalisation of ORM2 in (description) logics published so far is provided. A prototype has been implemented providing a backend for the automated support of implicit constraints deduction, schema consistency checks, and user-defined constraints entailment, for ORM2zero conceptual schemas along with its translation into \(\mathcal{ALCQI}\) knowledge bases.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Halpin, T.: A Logical Analysis of Information Systems: Static Aspects of the Data-oriented Perspective. PhD thesis, Department of Computer Science, University of Queensland (1989)
Halpin, T., Morgan, T.: Information Modeling and Relational Databases: From Conceptual Analysis to Logical Design, 2nd edn. Morgan Kaufmann (2001)
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The description logic handbook: theory, implementation, and applications. Cambridge University Press, New York (2003)
Franconi, E., Mosca, A.: The formalisation of ORM2 and its encoding in OWL2. Technical Report KRDB12-2, KRDB Research Centre, Free University of Bozen-Bolzano (2012), http://www.inf.unibz.it/krdb/pub/TR/KRDB12-2.pdf
Curland, M., Halpin, T.A., Stirewalt, K.: A Role Calculus for ORM. In: Meersman, R., Herrero, P., Dillon, T. (eds.) OTM 2009 Workshops. LNCS, vol. 5872, pp. 692–703. Springer, Heidelberg (2009)
Calvanese, D., De Giacomo, G., Lenzerini, M.: Identification constraints and functional dependencies in description logics. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence, pp. 155–160 (2001)
Berardi, D., Cali, A., Calvanese, D., Giacomo, G.D.: Reasoning on UML class diagrams. Artificial Intelligence 168 (2003)
Artale, A., Calvanese, D., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: Reasoning over Extended ER Models. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 277–292. Springer, Heidelberg (2007)
Keet, M.: Mapping the Object-Role Modeling language ORM2 into description logic language \(\mathcal{DLR}_{\mathit{ifd}}\). Technical Report KRDB07-2, KRDB Research Centre, Faculty of Computer Science, Free University of Bozen-Bolzano (2007)
Jarrar, M.: Towards Automated Reasoning on ORM Schemes. Mapping ORM into the \(\mathcal{DLR}_{\mathit{ifd}}\) Description Logic. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 181–197. Springer, Heidelberg (2007)
Jarrar, M.: Mapping ORM into the \(\mathcal{SHOIN}\)/OWL description logic. In: Proc. of the International Workshop on Object-Role Modeling (ORM 2007), pp. 729–741. Springer (2007)
Hodrob, R., Jarrar, M.: ORM to OWL2 DL mapping. In: International Conference on Intelligent Semantic Web: Applications and Services. ACM (2010)
Jarrar, M., Heymans, S.: Unsatisfiability reasoning in orm conceptual schemes. In: Proc. of the IFIP-2.6 International Conference on Semantics of a Networked World, pp. 517–534. Springer (2006)
Wagih, H.M., ElZanfaly, D.S., Kouta, M.M.: Mapping Object Role Modeling 2 schemes to OWL2 ontologies. In: Proc. of the 3rd IEEE International Conference on Computer Research and Development (ICCRD), pp. 126–132. IEEE Press (2011)
Bach, D.B., Meersman, R., Spyns, P., Trog, D.: Mapping OWL-DL into ORM/RIDL. In: Proceedings of the 2007 OTM Confederated International Conference, OTM 2007, pp. 742–751 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Franconi, E., Mosca, A., Solomakhin, D. (2012). ORM2: Formalisation and Encoding in OWL2. In: Herrero, P., Panetto, H., Meersman, R., Dillon, T. (eds) On the Move to Meaningful Internet Systems: OTM 2012 Workshops. OTM 2012. Lecture Notes in Computer Science, vol 7567. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33618-8_51
Download citation
DOI: https://doi.org/10.1007/978-3-642-33618-8_51
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33617-1
Online ISBN: 978-3-642-33618-8
eBook Packages: Computer ScienceComputer Science (R0)