• DOI:10.1142/S0218213008004072
Corpus ID: 3918564

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}
}

• Mustafa Jarrar, S. Heymans
• Published 2008
• Computer Science
• Int. J. Artif. Intell. Tools

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

View via Publisher

kr.tuwien.ac.at

Save to Library

Create Alert

Cite

Launch Research Feed