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 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… Expand
The formalisation of ORM2 and its encoding in OWL2
ORM2 Encoding into Description Logic (Extended Abstract)
ORM2: Formalisation and Encoding in OWL2
Formal analysis of ORM using OWL DL
1 ORM to OWL 2 DL Mapping
ORM to OWL 2 DL Mapping
Mapping ORM into OWL 2
Towards Pattern-Based Reasoning for Friendly Ontology Debugging
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 38 REFERENCES
Towards Automated Reasoning on ORM Schemes
Formal Ontology Engineering in the DOGMA Approach
Towards Pattern-Based Reasoning for Friendly Ontology Debugging
Ontology Engineering - The DOGMA Approach
On Using Conceptual Data Modeling for Ontology Engineering
Reasoning on UML class diagrams
Towards Methodological Principles for Ontology Engineering.
The Even More Irresistible SROIQ
Mapping OWL-DL into ORM/RIDL
...
1
2
3
4
...