• 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 5 November 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… 
Mapping ORM into the SHOIN/OWL Description Logic - Towards a Methodological and Expressive Graphical Notation for Ontology Engineering
TLDR
The mappings are implemented as an extension to the DogmaModeler tool, which uses Racer as a background reasoning engine, and the expressive, methodological, and graphical capabilities of ORM make it a good candidate for use as a graphical notation for ontology languages.
ORM2 Encoding into Description Logic (Extended Abstract)
TLDR
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.
The formalisation of ORM 2 and its encoding in OWL 2
TLDR
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
TLDR
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.
Towards Pattern-Based Reasoning for Friendly Ontology Debugging
TLDR
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.
Mapping Object Role Modeling into Common Logic Interchange Format
  • Wen-lin Pan, D. Liu
  • Computer Science
    2010 3rd International Conference on Advanced Computer Theory and Engineering(ICACTE)
  • 2010
TLDR
A serial of mapping rules to modeling ORM schemas in CLIF, which is a dialect of CL, which has powerful expressiveness to model complex business rules and has some reasoners.
Using $\mathcal{SOIQ}$ (D) to Formalize Semantics within a Semantic Decision Table
TLDR
This paper focuses on the formalization of the semantics within one SDT using the Description Logic $\mathcal{SOIQ}$(D), which can use existing reasoners to detect inconsistency and thus assist decision modelers (and evaluators) to validate a decision table.
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,
Modeling ORM Schemas in Description Logics
TLDR
This work studies a mechanism to model ORM schemas in the Description Logic language SHOINK (D), the underpinning of a Web ontology language that meets the key feature required by ORMschemas (i.e. identification and functional dependency constraints).
Ontology Engineering - The DOGMA Approach
This chapter presents a methodological framework for ontology engineering (called DOGMA), which is aimed to guide ontology builders towards building ontologies that are both highly reusable and
...
...

References

SHOWING 1-10 OF 34 REFERENCES
Reasoning on UML class diagrams
Identification Constraints and Functional Dependencies in Description Logics
TLDR
This paper introduces a DL which extends DLR and fully captures the semantics of identification constraints and functional dependencies, and addresses the problem of reasoning in such a logic.
Towards Pattern-Based Reasoning for Friendly Ontology Debugging
TLDR
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.
Unsatisfiability Reasoning in ORM Conceptual Schemes
TLDR
This paper revisits existing patterns from literature that indicate unsatisfiability of ORM schemes i.e., schemes that cannot be populated, and proposes refinements as well as additions for them, which yields an efficient and easy to implement detection mechanism for the most common conceptual modeling mistakes.
Formal Ontology Engineering in the DOGMA Approach
TLDR
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.
The Even More Irresistible SROIQ
TLDR
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.
The Description Logic Handbook
This introduction presents the main motivations for the development of Description Logics (DLs) as a formalism for representing knowledge, as well as some important basic notions underlying all
Practical Reasoning for Expressive Description Logics
TLDR
An algorithm is presented that decides satisfiability of the DL ACC extended with transitive eind inverse roles, role hierarchies, and quaJifying number restrictions, and early experiments indicate that this algorithm is well-suited for implementation.
Automated Verbalization for ORM 2
In the analysis phase of information systems development, it is important to have the conceptual schema validated by the business domain expert, to ensure that the schema accurately models the
...
...