From Justifications to Proofs for Entailments in OWL

Over the past few years there has been a significant amount of interest in the area of explaining entailments in OWL ontologies. Without some kind of tool support, it can be very difficult, or even impossible, to work out why entailments arise in ontologies. Even in small ontologies that only contain tens of axioms