Towards Pattern-Based Reasoning for Friendly Ontology Debugging

@article{Jarrar2008TowardsPR,
  title={Towards Pattern-Based Reasoning for Friendly Ontology Debugging},
  author={Mustafa Jarrar and Stijn Heymans},
  journal={Int. J. Artif. Intell. Tools},
  year={2008},
  volume={17},
  pages={607-634}
}
Reasoning with ontologies is a challenging task specially for non-logic experts. When checking whether an ontology contains rules that contradict each other, current description logic reasoners can only provide a list of the unsatisfiable concepts. Figuring out why these concepts are unsatisfiable, which rules cause conflicts, and how to resolve these conflicts, is all left to the ontology modeler himself. The problem becomes even more challenging in case of large or medium size ontologies… 
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
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
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
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.
Detecting hidden errors in an ontology using contextual knowledge
Fluent Editor and Controlled Natural Language in Ontology Development
TLDR
This research presents a meta-modelling framework that automates the very labor-intensive and therefore time-heavy and therefore expensive and expensive process of manually cataloging and cataloging individual words and phrases in a ontology.
Checking Full Satisfiability of Conceptual Models
TLDR
This investigation shows that the full satisfiabil- ity problem is ExpTime-complete in the full scenario, NP-complete if the authors drop isa between relationships, and NLogSpace- complete if they further drop covering over classes.
Lightweight formalization and validation of ORM models
Full Satisability of UML Class Diagrams
TLDR
This investigation shows that the full satisabil- ity problem is ExpTime-complete in the full scenario, NP-complete if the authors drop isa between relationships, and NLogSpace- complete if they further drop covering over classes.
Full Satisfiability of UML Class Diagrams
TLDR
This investigation shows that the full satisfiability problem is ExpTime-complete in the full scenario, NP- complete if the authors drop isa between relationships, and NLogSpace-complete if they further drop covering over classes.
...
...

References

SHOWING 1-10 OF 30 REFERENCES
Debugging OWL-DL Ontologies: A Heuristic Approach
TLDR
This paper presents a ‘black boxed' heuristic approach based on identifying common errors and inferences that can be used to create and use OWL ontologies.
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
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.
Resolving Inconsistencies in Evolving Ontologies
TLDR
An algorithm to select the axioms from an ontology causing the inconsistency, as well as a set of rules that ontology engineers can use to resolve the detected inconsistency are proposed.
Towards Methodological Principles for Ontology Engineering.
TLDR
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.
Debugging OWL ontologies
TLDR
A number of simple debugging cues generated from the description logic reasoner, Pellet, are integrated in the hypertextual ontology development environment, Swoop, to significantly improve the OWL debugging experience, and point the way to more general improvements in the presentation of an ontology to new users.
Context Dependency Management in Ontology Engineering: A Formal Approach
TLDR
A formal framework for supporting context dependency management processes, based on the DOGMA framework and methodology for scalable ontology engineering, which can be combined to manage complex context dependencies like articulation, application, specialisation, and revision dependencies.
On Using Conceptual Data Modeling for Ontology Engineering
TLDR
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.
Explanation Support for OWL Authoring
TLDR
This paper describes ongoing work towards a systems for explaining subsumption for a significant fraction of the Description Logic (DL) underlying OWL Lite, and uses a tableau-based approach to generate step by step quasi-natural language explanations.
OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns
TLDR
This paper presents the most common difficulties encountered by newcomers to the language, that have been observed during the course of more than a dozen workshops, tutorials and modules about OWL-DL and it’s predecessor languages.
...
...