Just

Just: a tool for computing justifications w.r.t. ELH ontologies. We introduce the tool Just for computing justi cations for general concept inclusions w.r.t. ontologies formulated in the description logic EL extended with role inclusions. The computation of justifications in Just is based on saturating the input axioms under all possible inferences w.r.t. a consequence-based calculus. We give an overview of the implemented techniques and we conclude with an experimental evaluation of the performance of Just when applied on several practical ontologies