Logic and Computation introductory course:
Explanation in Ontology Languages.

• Bijan Parsia ()
• Thomas Schneider ()

Course material: explanation.pdf

This course will present current research into explanations, which can answer questions such as: "Why do certain entailments follow from my ontology?"; "Why is my ontology inconsistent?"; "Which part of my ontology do I need to modify in order to prevent an undesired entailment?" These questions are of relevance to ontology developers in various domains including bioinformatics, medicine, geography, linguistics. We will focus on proof based explanation techniques and touch on the emerging field of model based explanation.