Unsatisfiability Reasoning in ORM Conceptual Schemes

  • Mustafa Jarrar
  • Stijn Heymans
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4254)


ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema naturally arise. Satisfiability checking allows a developer to automatically detect contradicting constraints. However, no complete satisfiability checker is known for ORM. In this paper, we revisit existing patterns from literature that indicate unsatisfiability of ORM schemes i.e., schemes that cannot be populated, and we propose refinements as well as additions for them. Although this does not yield a complete procedure – there may be ORM schemes passing the pattern checks while containing unsatisfiable roles – it yields an efficient and easy to implement detection mechanism (specially in interactive modeling tools) for the most common conceptual modeling mistakes.


Uniqueness Constraint Frequency Constraint Euler Diagram Exclusion Constraint Constraint Pattern 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BCMNP03]
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)Google Scholar
  2. [BGH99]
    Bird, L., Goodchild, A., Halpin, T. A.: Object Role Modelling and XML-Schema. In: Laender, A.H.F., Liddle, S.W., Storey, V.C. (eds.) ER 2000. LNCS, vol. 1920, pp. 309–322. Springer, Heidelberg (2000)Google Scholar
  3. [BHW91]
    van Bommel, P., ter Hofstede, A.H.M., van der Weide, T.P.: Semantics and verification of object role models. Information Systems 16(5), 471–495 (1991)Google Scholar
  4. [BvHHHMP04]
    Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference (2004),
  5. [CDLNR98]
    Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: Information integration: Conceptual Modeling and reasoning support. In: Proceedings of the 6th International Conference on Cooperative Information Systems (CoopIS 1998), pp. 280–291 (1998)Google Scholar
  6. [DJM02a]
    Demey, J., Jarrar, M., Meersman, R.: A Conceptual Markup Language that supports interoperability between Business Rule modeling systems. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol. 2519, pp. 19–35. Springer, Heidelberg (2002)Google Scholar
  7. [DMV]
    De Troyer, O., Meersman, R., Verlinden, P.: RIDL* on the CRIS case: A Workbench for NIAM. Technical report. INFOLAB, Tilburg University, The NetherlandsGoogle Scholar
  8. [H]
    Halpin, T.: Object-Role Modeling: an overview. White paper,
  9. [H01]
    Halpin, T.: Information Modeling and Relational Databases, 3rd edn. Morgan-Kaufmann, San Francisco (2001)Google Scholar
  10. [H89]
    Halpin, T.: A logical analysis of information systems: static aspects of the data-oriented perspective. Ph.D thesis, University of Queensland, Brisbane, Australia (1989)Google Scholar
  11. [H97]
    Halpin, T.: An Interview- Modeling for Data and Business Rules. In: Ross, R. (ed.) Database Newsletter, vol. 25(5) (September/October 1997); This newsletter has since been renamed Business Rules Journal and is published by Business Rules Solutions, Inc.Google Scholar
  12. [J06]
    Jarrar, M.: Towards the notion of gloss, and the adoption of linguistic resources in formal ontology engineering. In: Proceeding of the 15th International World Wide Web Conference, WWW2006, Edinburgh, Scotland, May 2006. ACM, New York (2006)Google Scholar
  13. [J05]
    Jarrar, M.: Towards Methodological Principles for Ontology Engineering. Ph.D thesis, Vrije Universiteit Brussel (2005)Google Scholar
  14. [JF05]
    Jarrar, M., Franconi, E.: Mapping ORM into the DLR description logic. Technical Report (August 2005)Google Scholar
  15. [JVM03]
    Jarrar, M., Verlinden, R., Meersman, R.: Ontology-Based Customer Complaint Management. In: Meersman, R., Tari, Z. (eds.) OTM-WS 2003. LNCS, vol. 2889, pp. 594–606. Springer, Heidelberg (2003)Google Scholar
  16. [N99]
    North, K.: Modeling, Data Semantics, and Natural Language. New Architect magazine (1999)Google Scholar
  17. [T96]
    De Troyer, O.: A formalization of the binary Object-role Model based on Logic. Data & Knowledge Engineering 19, 1–37 (1996)Google Scholar
  18. [TM95]
    De Troyer, O., Meersman, R.: A Logic Framework for a Semantics of Object-Oriented Data Modelling. In: Papazoglou, M.P. (ed.) ER 1995 and OOER 1995. LNCS, vol. 1021, pp. 238–249. Springer, Heidelberg (1995)Google Scholar
  19. [VB82]
    Jarrar, M., Franconi, E.: Mapping ORM into the DLR description logic. Technical Report (August 2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Mustafa Jarrar
    • 1
  • Stijn Heymans
    • 2
  1. 1.STAR LabVrije Universiteit BrusselBelgium
  2. 2.TINFVrije Universiteit BrusselBelgium

Personalised recommendations