Towards Pattern-Based Reasoning for Friendly Ontology Debugging

@article{Jarrar2008TowardsPR,
  title={Towards Pattern-Based Reasoning for Friendly Ontology Debugging},
  author={Mustafa Jarrar and S. 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… Expand
27 Citations
Ontology Engineering - The DOGMA Approach
Towards Automated Reasoning on ORM Schemes
Towards Automated Reasoning on ORM Schemes - Mapping ORM into the DLRidf Description Logic
Detecting hidden errors in an ontology using contextual knowledge
Checking Full Satisfiability of Conceptual Models
Lightweight formalization and validation of ORM models
Full Satisability of UML Class Diagrams
Full Satisfiability of UML Class Diagrams
Finite satisfiability of UML class diagrams with constrained class hierarchy
...
1
2
3
...

References

SHOWING 1-10 OF 30 REFERENCES
Debugging OWL-DL Ontologies: A Heuristic Approach
Debugging OWL ontologies
...
1
2
3
...