Towards Explicative Inference for OWL.
Marvin R. G. Schiller, Birte Glimm · 2013
Abstract. Automated reasoning in OWL is capable of inferences that are nontrivial for people tounderstand. We argue that the understanding of inferences would benefit from stepwise explanations. To build a system that supports such explicative inference, we propose a framework based on inferencerules andprooftactics for OWLontologies. Inparticular, the goal is to present inferences in a suitable and adaptable way to human users, and to predict whether certain inferences are harder to understand than others. This article outlines the conception of this framework and its benefits whose implementation is currently work in progress. 1