From, Explanation in DL-Lite presented May, 2008:
As far as explanations are concerned, it is almost universally accepted that they are formal proofs, constructed from premises using rules of inference.
From, Explanation in the DL-Lite Family of Description Logics presented November, 2008:
It is widely accepted that an explanation corresponds to a formal proof. A formal proof is constructed from premises using rules of inference.
From Progress? published November, 2009: