Philippe Besnard and Marie-Odile Cordier and Yves Moinard Ontology-based inference for causal explanation , KSEM07 (Second International Conference on Knowledge Science, Engineering and Management) , Springer , Melbourne , No. 4798 , 153-164 , nov , 2007 , Document Abstract We define an inference system to capture explanations based on causal statements, using an ontology in the form of an $IS$-$A$ hierarchy. We first introduce a simple logical language which makes it possible to express that a fact causes another fact and that a fact explains another fact. We present a set of formal inference patterns from causal statements to explanation statements. These patterns exhibit ontological premises that are argued to be essential in deducing explanation statements. We provide an inference system that captures the patterns discussed. This web site is maintained by René Quiniou using the Weave system from the Caravel project: http://www-caravel.inria.fr. Last modification: 10-07-2011 09:54:25