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
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Peñaloza, Rafael; Sertkaya, Barış: Understanding the complexity of axiom pinpointing in lightweight description logics (2017)
- Arif, M.Fareed; Mencía, Carlos; Ignatiev, Alexey; Manthey, Norbert; Peñaloza, Rafael; Marques-Silva, Joao: BEACON: an efficient SAT-based tool for debugging $\mathcal EL^+$ ontologies (2016)
- Arif, M.Fareed; Mencía, Carlos; Marques-Silva, Joao: Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing (2015)