From Justifications Towards Proofs for Ontology Engineering

Even in small ontologies that only contain Figure 1: A justification for Person tens of axioms, there can be multiple reasons for an entailment, none of which may be obvious. It is for this a number of justifications that all participants ranked "difficult" reason that there has recently been a lot of focus on generating to "impossible" to understand. This includes people explanations for entailments in ontologies. In the who have over two years experience of working with OWL, OWL world, justifications are a popular form of explanation building ontologies and even includes people who have developed for entailments. A justification is a minimal subset OWL reasoners. This is indicative that justification of an ontology that is sufficient for an entailment to hold understanding can be a real problem.