Corpus ID: 10923375

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

@article{Jarrar2007TowardsAR,
  title={Towards Automated Reasoning on ORM Schemes - Mapping ORM into the DLRidf Description Logic},
  author={Mustafa Jarrar},
  journal={Information Technology \& Systems},
  year={2007}
}
  • Mustafa Jarrar
  • Published 2007
  • Computer Science
  • Information Technology & Systems
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 constraint contradictions and implications. In addition, the expressive, methodological, and graphical capabilities of ORM make it a good candidate for use as a graphical notation for most description logic languages. In this way, industrial experts who are not IT savvy will still be able to build… Expand
ORM2 Encoding into Description Logic (Extended Abstract)
Towards Pattern-Based Reasoning for Friendly Ontology Debugging
Mapping Object Role Modeling into Common Logic Interchange Format
  • Wen-lin Pan, Daxin Liu
  • Computer Science
  • 2010 3rd International Conference on Advanced Computer Theory and Engineering(ICACTE)
  • 2010
Mapping ORM into OWL 2
Ontology Engineering - The DOGMA Approach
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 35 REFERENCES
Reasoning on UML class diagrams
Identification Constraints and Functional Dependencies in Description Logics
Towards Pattern-Based Reasoning for Friendly Ontology Debugging
A Fomalization of the Binary Object-Role Model based on Logic
Unsatisfiability Reasoning in ORM Conceptual Schemes
Formal Ontology Engineering in the DOGMA Approach
The Even More Irresistible SROIQ
The Description Logic Handbook
Practical Reasoning for Expressive Description Logics
Automated Verbalization for ORM 2
...
1
2
3
4
...