The ORM Foundation

Get the facts!

pdf P03: Formalizing ORM using the DLR and the SHOIN/OWL description logics

Downloads: 56 File Size: 887.4kB
Posted By: admin Views: 2,149
Date Added: Wed, Dec 12 2007

Abstract. We map ORM into the SHOIN/OWL, which is the most common description logic in ontology engineering. As SHOIN/OWL is known to be a good compromise between expressiveness and computational complexity, this implies that the ORM constraints mapped in this paper are the constraints that are easier to implement and reason about. Our mappings are implemented as an extension to the DogmaModeler tool, which uses Racer as a background reasoning engine. Furthermore, the expressive, methodological, and graphical capabilities of ORM make it a good candidate for use as a graphical notation for ontology languages. In this way, industrial experts who are not IT savvy will still be able to build and view ontologies without needing to know the logic or reasoning foundations underpinning them.

Author: Mustafa Jarrar, Department of Computer Science, University of Cyprus STARLab, Vrije Universiteit Brussels, Belgium

The original paper is available from Springer-Verlag Lecture Notes in Computer Science : LNCS 4805 , November 2007   

Filed under:


No comments exist for this file.
© 2008-2020 The ORM Foundation: A UK not-for-profit organisation -------------- Terms of Service