Supporting Conceptual Modelling in ORM by Reasoning

  • Francesco SportelliEmail author
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 767)


Object-Role Modelling (ORM) is a framework for modelling and querying information at the conceptual level. It comes to support the design of large-scale industrial applications allowing the users to easily model the domain. The expressiveness of the ORM constraints may lead to implicit consequences that can go undetected by the designer in complex diagrams during the software development life cycle. To avoid these issues we perform the reasoning on ORM diagrams in order to detect relevant formal properties, such as inconsistencies or redundancies, that cause a software quality degradation leading to an increment of development times and costs.

In this paper we present an extension of ORM formalisation by Derivation Rules, which are additional ORM constructs that capture some relevant information of the domain that cannot be expressed in standard ORM.

Moreover, we provide a tool (UCM Framework) which enables reasoning on conceptual modelling software along with an implemented case of study (ORMiE).


ORM Conceptual modelling Reasoning Rules 


  1. 1.
    Halpin, T.A.: Object-role modeling: Principles and benefits. IJISMD 1(1), 33–57 (2010)Google Scholar
  2. 2.
    Halpin, T.: A Logical Analysis of Information Systems: static aspects of the data-oriented perspective. PhD thesis (July 1989)Google Scholar
  3. 3.
    Curland, M., Halpin, T.: The NORMA software tool for ORM 2. In: Soffer, P., Proper, E. (eds.) CAiSE Forum 2010. LNBIP, vol. 72, pp. 190–204. Springer, Heidelberg (2011). doi: 10.1007/978-3-642-17722-4_14 CrossRefGoogle Scholar
  4. 4.
    Sportelli, F.: NORMA: A software for intelligent conceptual modeling. In: Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, 6–9 July 2016 (2016)Google Scholar
  5. 5.
    Jarrar, M.: Towards automated reasoning on ORM schemes. In: 26th International Conference on Conceptual Modeling, ER 2007, pp. 181–197 (2007)Google Scholar
  6. 6.
    Calvanese, D., De Giacomo, G., Lenzerini, M.: Identification constraints and functional dependencies in description logics. In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, 4–10 August 2001, pp. 155–160 (2001)Google Scholar
  7. 7.
    Jarrar, M.: Mapping ORM into the SHOIN/OWL description logic. In: On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Proceedings, Vilamoura, Portugal, 25–30 November 2007, Part I, pp. 729–741 (2007)Google Scholar
  8. 8.
    Keet, C.M.: Mapping the object-role modeling language ORM2 into description logic language dlrifd. CoRR, abs/cs/0702089 (2007)Google Scholar
  9. 9.
    Franconi, E., Mosca, A., Solomakhin, D.: The formalization of ORM2 and its encoding in OWL2. In: International Workshop on Fact-Oriented Modeling (ORM 2012) (2012)Google Scholar
  10. 10.
    Franconi, E., Mosca, A.: Towards a Core ORM2 language (Research Note). In: Demey, Y.T., Panetto, H. (eds.) OTM 2013. LNCS, vol. 8186, pp. 448–456. Springer, Heidelberg (2013). doi: 10.1007/978-3-642-41033-8_58 CrossRefGoogle Scholar
  11. 11.
    Artale, A., Franconi, E.: Extending DLR with labelled tuples, projections, functional dependencies and objectification. In: Proceedings of the 29th International Workshop on Description Logics (2016)Google Scholar
  12. 12.
    Franconi, E., Mosca, A., Oriol, X., Rull, G., Teniente, E.: Logic foundations of the OCL modelling language. In: Fermé, E., Leite, J. (eds.) JELIA 2014. LNCS, vol. 8761, pp. 657–664. Springer, Cham (2014). doi: 10.1007/978-3-319-11558-0_49 Google Scholar
  13. 13.
    Halpin, T.A., Morgan, T.: Information Modeling and Relational Databases, 2nd edn. Morgan Kaufmann, San Francisco (2008)Google Scholar
  14. 14.
  15. 15.
    Moreira, J.L.R., Sales, T.P., Guerson, J., Braga, B.F.B., Brasileiro, F., Sobral, V., Menthor editor: An ontology-driven conceptual modeling platform. In: Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, 6–9 July 2016 (2016)Google Scholar
  16. 16.
    Sportelli, F., Franconi, E.: Formalisation of ORM derivation rules and their mapping into OWL," in On the Move to Meaningful Internet Systems: OTM 2016 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Proceedings, Rhodes, Greece, 24–28 October 2016, pp. 827–843 (2016)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Free University of Bozen-BolzanoBolzanoItaly

Personalised recommendations