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… 

The formalisation of ORM 2 and its encoding in OWL 2

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.

The formalisation of ORM2 and its encoding in OWL2

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.

ORM2 Encoding into Description Logic (Extended Abstract)

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.

ORM2: Formalisation and Encoding in OWL2

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.

Formal analysis of ORM using OWL DL

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.

1 ORM to OWL 2 DL Mapping

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,

ORM to OWL 2 DL Mapping

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,

Mapping ORM into OWL 2

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,

Towards Pattern-Based Reasoning for Friendly Ontology Debugging

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.

Conceptual Modelling in ORM by Reasoning

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

Towards Automated Reasoning on ORM Schemes - Mapping ORM into the DLRidf Description Logic

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

Towards Automated Reasoning on ORM Schemes

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

Formal Ontology Engineering in the DOGMA Approach

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.

Towards Pattern-Based Reasoning for Friendly Ontology Debugging

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.

On Using Conceptual Data Modeling for Ontology Engineering

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.

Reasoning on UML class diagrams

Towards Methodological Principles for Ontology Engineering.

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.

The Even More Irresistible SROIQ

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.

Mapping OWL-DL into ORM/RIDL

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.

Position paper: towards the notion of gloss, and the adoption of linguistic resources in formal ontology engineering

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.