JUST+: Computing Justifications for OWL Ontologies
An increasing number of large ontologies are being developed and made available, e.g., in repositories such as the NCBO Bioportal. Debugging and reusing the knowledge contained in ontologies has been identified as an important challenge. Ontology justification has been proposed to deal with this challenge. A justification of an ontology w.r.t. an inclusion is a minimal subset of the ontology that entails the inclusion. Several tools are available for computing justifications. "Black-box" tools can deal with more expressive ontology languages, but they are relatively slow to compute justifications, while "glass-box" tools can currently only deal with the ontologies under the OWL EL profile .
In this project we focus on extending the glass-box tool 'Just'. The main goal of this project is to extend this tool to be able to deal with more expressive ontologies.
The work in this thesis includes:
- extend the current tool  to deal with range restriction by using an extended calculus;
- implement and approximate black-box algorithms  that enable the tool to deal with more expressive ontologies;
- adding user interface for the tool.