Abstract

http://ssrn.com/abstract=1120777
 
 

References (28)



 
 

Citations (1)



 


 



Towards Automated Reasoning on ORM Schemes - Mapping ORM into the DLRidf Description Logic


Mustafa Jarrar


University of Cyprus; VUB STARLab

2007

Lecture Notes in Computer Science (Book Series), Vol. 4801, 2007

Abstract:     
he goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams, such as detecting constraint contradictions and implications. In addition, the expressive, methodological, and graphical capabilities of ORM make it a good candidate for use as a graphical notation for most description logic languages. In this way, industrial experts who are not IT savvy will still be able to build and view axiomatized theories (such as ontologies, business rules, etc.) without needing to know the logic or reasoning foundations underpinning them. Our formalization in this paper is structured as 29 formalization rules, that map all ORM primitives and constraints into DLR, and 2 exceptions of complex cases. To this end, we illustrate the implementation of our formalization as an extension to DogmaModeler, which automatically maps ORM into DIG and uses Racer as a background reasoning engine to reason about ORM diagrams.

Number of Pages in PDF File: 15

Keywords: Ontology Engineering, Reasoning, Satisfiability, Model Verification, Debugging, Ontology Tools, Object Role Modeling, OWL, ORM, DL, Description logic, SHOIN, DLR, Racer, Fact, DogmaModeler, complexity, computational complexity, expressiveness

Accepted Paper Series





Download This Paper

Date posted: April 17, 2008 ; Last revised: March 28, 2009

Suggested Citation

Jarrar, Mustafa, Towards Automated Reasoning on ORM Schemes - Mapping ORM into the DLRidf Description Logic (2007). Lecture Notes in Computer Science (Book Series), Vol. 4801, 2007. Available at SSRN: http://ssrn.com/abstract=1120777

Contact Information

Mustafa Jarrar (Contact Author)
University of Cyprus ( email )
75 Kallipoleos Street
Nicosia CY 1678, Nicosia P.O. Box 2
Cyprus
HOME PAGE: http://www.jarrar.info
VUB STARLab ( email )
VUB - 10 G STAR Lab
Pleinlaan 2
Brussels, 1050
Belgium
Feedback to SSRN


Paper statistics
Abstract Views: 371
Downloads: 27
References:  28
Citations:  1

© 2014 Social Science Electronic Publishing, Inc. All Rights Reserved.  FAQ   Terms of Use   Privacy Policy   Copyright   Contact Us
This page was processed by apollo8 in 0.297 seconds