Mapping ORM into the SHOIN/OWL description logic - towards a methodological and expressive graphical notation for ontology engineering

摘要

We map ORM into the SHOIN /OWL, which is the most commondescription logic in ontology engineering. As SHOIN /OWL is known to bea good compromise between expressiveness and computational complexity, thisimplies that the ORM constraints mapped in this paper are the constraints that areeasier to implement and reason about. Our mappings are implemented as an extensionto the DogmaModeler tool, which uses Racer as a background reasoningengine. Furthermore, the expressive, methodological, and graphical capabilitiesof ORM make it a good candidate for use as a graphical notation for ontologylanguages. In this way, industrial experts who are not IT savvy will still be able tobuild and view ontologies without needing to know the logic or reasoning foundationsunderpinning them