Advertisement

ORM2: Formalisation and Encoding in OWL2

  • Enrico Franconi
  • Alessandro Mosca
  • Dmitry Solomakhin
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7567)

Abstract

This paper introduces ORM2 plus – 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 ORM2 zero 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 ORM2 zero , 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 ORM2 zero conceptual schemas along with its translation into \(\mathcal{ALCQI}\) knowledge bases.

Keywords

Uniqueness Constraint OWL2 Ontology Cardinality Restriction Reasoning Service Subtyping Relation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)Google Scholar
  2. 2.
    Halpin, T., Morgan, T.: Information Modeling and Relational Databases: From Conceptual Analysis to Logical Design, 2nd edn. Morgan Kaufmann (2001)Google Scholar
  3. 3.
    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)zbMATHGoogle Scholar
  4. 4.
    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
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    Berardi, D., Cali, A., Calvanese, D., Giacomo, G.D.: Reasoning on UML class diagrams. Artificial Intelligence 168 (2003)Google Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    Hodrob, R., Jarrar, M.: ORM to OWL2 DL mapping. In: International Conference on Intelligent Semantic Web: Applications and Services. ACM (2010)Google Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Enrico Franconi
    • 1
  • Alessandro Mosca
    • 1
  • Dmitry Solomakhin
    • 1
  1. 1.Free University of Bozen-BolzanoItaly

Personalised recommendations