# Mapping ORM into the SHOIN/OWL Description Logic - Towards a Methodological and Expressive Graphical Notation for Ontology Engineering

@article{Jarrar2007MappingOI,
title={Mapping ORM into the SHOIN/OWL Description Logic - Towards a Methodological and Expressive Graphical Notation for Ontology Engineering},
author={Mustafa Jarrar},
journal={Information Technology \& Systems},
year={2007}
}
• Mustafa Jarrar
• Published 25 November 2007
• Computer Science
• Information Technology & Systems
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…
51 Citations
• Computer Science
• 2012
A new linear syntax and complete set-theoretic semantics for a generalisation of ORM2 can be shown correctly embedding the original proposal, and a systematic critique of alternative approaches to the formalisation of OrM2 in (description) logics published so far is provided.
• Computer Science
• 2012
A new linear syntax and complete set-theoretic semantics for a generalisation of ORM2 can be shown correctly embedding the original proposal, and a systematic critique of alternative approaches to the formalisation of OrM2 in (description) logics published so far is provided.
• Computer Science
Description Logics
• 2012
A new linear syntax and corresponding complete set-theoretic semantics for a generalization of ORM2 language are introduced and an extensive and systematic critique of alternative approaches to the formalisation of OrM2 in (description) logics published so far is provided.
• Computer Science
OTM Workshops
• 2012
ORM2 plus is introduced – a new linear syntax and complete semantics expressed in first order logic of ORM2 – which can be shown correctly embedding the original proposal.
• Computer Science
International Conference on Machine Vision
• 2012
Several methods to transform ORM models have been considered and a series of general OWL DL formalization rules have been proposed to ensure the semantics of ORM model is consistent.
The goal of this article is to map between Object Role Modeling (ORM) and Ontology Web Language 2 (OWL 2 DL). This mapping allows one to graphically develop his/her ontology using the ORM notation,
• Computer Science
• 2010
The goal of this article is to map between Object Role Modeling (ORM) and Ontology Web Language 2 (OWL 2 DL). This mapping allows one to graphically develop his/her ontology using the ORM notation,
• Computer Science
ISWSA '10
• 2010
The goal of this article is to map between Object Role Modeling (ORM) and Ontology Web Language 2 (OWL 2 DL). This mapping allows one to graphically develop his/her ontology using the ORM notation,
• Computer Science
Int. J. Artif. Intell. Tools
• 2008
A pattern-based reasoning approach is proposed, which offers 9 patterns of constraint contradictions that lead to unsatisfiability in Object-role (ORM) models, and is implemented in the DogmaModeler ontology engineering tool, and tested in building the CCFORM ontology.
The ORM formalisation is extended by Derivation Rules, which are additional ORM constructs that capture some relevant information of the domain that cannot be expressed in standard ORM.

## References

SHOWING 1-10 OF 38 REFERENCES

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
The goal of this article is to formalize Object Role Modeling (ORM) using the $$\mathcal{DLR}$$ description logic. This would enable automated reasoning on the formal properties of ORM diagrams, such
• Computer Science
OTM
• 2002
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semantics for a real world domain, and claims it leads to methodological approaches that naturally extend key aspects of database modeling theory and practice.
• Computer Science
Int. J. Artif. Intell. Tools
• 2008
A pattern-based reasoning approach is proposed, which offers 9 patterns of constraint contradictions that lead to unsatisfiability in Object-role (ORM) models, and is implemented in the DogmaModeler ontology engineering tool, and tested in building the CCFORM ontology.
• Computer Science
J. Data Semant.
• 2003
An ontology engineering-framework that enables reusing conceptual modeling approaches in modeling and representing ontologies, and an ontology-engineering tool that implements the ideas presented in the paper.
The main goal of this thesis is to present methodological principles for ontology engineering to guide ontology builders towards building ontologies that are both highly reusable and usable, easier to build, and smoother to maintain.
• Computer Science
KR
• 2006
A rather elegant tableau-based reasoning algorithm that combines the use of automata to keep track of universal value restrictions with the techniques developed for SHOIQ, which has been adopted as the logical basis for the next iteration of OWL, OWL 1.1.
• Computer Science
OTM Workshops
• 2007
This paper analyzes the semantics of OWL-DL and ORM, and shows it is possible to convert most constructs, except for what are called property restrictions, and discusses the implications.
It is proposed that each vocabulary in an ontology should have a gloss, and the importance of using lexical resources as a "consensus reference" in ontology engineering, and so enabling the adoption of the glosses found in these resources.