Abstract
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.
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
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
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)
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)
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), http://www.w3.org/TR/owl-ref/
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)
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)
De Troyer, O., Meersman, R., Verlinden, P.: RIDL* on the CRIS case: A Workbench for NIAM. Technical report. INFOLAB, Tilburg University, The Netherlands
Halpin, T.: Object-Role Modeling: an overview. White paper, http://www.orm.net
Halpin, T.: Information Modeling and Relational Databases, 3rd edn. Morgan-Kaufmann, San Francisco (2001)
Halpin, T.: A logical analysis of information systems: static aspects of the data-oriented perspective. Ph.D thesis, University of Queensland, Brisbane, Australia (1989)
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.
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)
Jarrar, M.: Towards Methodological Principles for Ontology Engineering. Ph.D thesis, Vrije Universiteit Brussel (2005)
Jarrar, M., Franconi, E.: Mapping ORM into the DLR description logic. Technical Report (August 2005)
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)
North, K.: Modeling, Data Semantics, and Natural Language. New Architect magazine (1999)
De Troyer, O.: A formalization of the binary Object-role Model based on Logic. Data & Knowledge Engineering 19, 1–37 (1996)
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)
Jarrar, M., Franconi, E.: Mapping ORM into the DLR description logic. Technical Report (August 2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jarrar, M., Heymans, S. (2006). Unsatisfiability Reasoning in ORM Conceptual Schemes. In: Grust, T., et al. Current Trends in Database Technology – EDBT 2006. EDBT 2006. Lecture Notes in Computer Science, vol 4254. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11896548_39
Download citation
DOI: https://doi.org/10.1007/11896548_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-46788-5
Online ISBN: 978-3-540-46790-8
eBook Packages: Computer ScienceComputer Science (R0)