Just: a Tool for Computing Justifications w.r.t. ELH Ontologies.
Michel Ludwig · 2014
Abstract. We introduce the tool Just for computing justifications 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 infer-ences w.r.t. a consequence-based calculus. We give an overview of the im-plemented techniques and we conclude with an experimental evaluation of the performance of Just when applied on several practical ontologies. 1