Towards Automated Reasoning on ORM Schemes - Mapping ORM into the DLRidf Description Logic
15 Pages Posted: 17 Apr 2008 Last revised: 28 Mar 2009
Date Written: 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.
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
Suggested Citation: Suggested Citation
Do you have negative results from your research you’d like to share?
Recommended Papers
-
Towards the Notion of Gloss, and the Adoption of Linguistic Resources in Formal Ontology Engineering