Towards Automated Reasoning on ORM Schemes [chapter]

Mustafa Jarrar
<span title="">2007</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The 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
more &raquo; ... d 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. Published As: Mustafa Jarrar: Towards Automated Reasoning on ORM Schemes -Mapping ORM into the DLR idf description logic. This article proposes to formalize ORM (Object Role Modeling [8]) using the DLR description logic. This would enable automated reasoning to be carried out on the formal properties of ORM diagrams, such as detecting constraint contradictions and implications. In addition, the expressive, methodological, and graphical power of ORM make it a good candidate for use as a graphical notation for most description logic languages. With this, non-IT trained industrial experts will be able to build axiomatized theories (such as ontologies, business rules, etc.) in a graphical manner, without having to know the underpinning logic or foundations. ORM is a conceptual modeling method that allows the semantics of a universe of discourse to be modeled at a highly conceptual level and in a graphical manner. ORM has been used commercially for more than 30 years as a database modeling methodology, and has recently becoming popular not only for ontology engineering but also as a graphical notation in other areas such as the modeling of business rules, XML-Schemes, data warehouses, requirements engineering,web forms, etc 1 . The author is currently moving from Brussels to Nicosia and soon will be affiliated only with the university of Cyprus. 1 Many commercial and academic tools that support ORM solutions are available, including the ORM solution within Microsoft's Visio for Enterprise Architects, VisioModeler, NORMA, CaseTalk, Infagon, and DogmaModeler. DogmaModeler and its support for ontology engineering will be presented later in this paper. Remark: In this paper, we focus only on the logical aspects of reusing ORM for ontology modeling. The conceptual aspects (i.e. ontology modeling versus data modeling)
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-75563-0_14">doi:10.1007/978-3-540-75563-0_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/btp6wqcz2fgmfh7j3fe3r7d5oa">fatcat:btp6wqcz2fgmfh7j3fe3r7d5oa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120314153136/http://www.jarrar.info/publications/ORM-DLR-ER2007.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/98/83/98838e5da51b0110c270cb49a3db2b0866e2bf50.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-75563-0_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>