Constructive Justification Extraction for OWL Ontologies.

Yuxin Ye,Ling Zhang,Dantong Ouyang,Mengyu Gao
DOI: https://doi.org/10.1007/978-3-319-99247-1_13
2018-01-01
Abstract:Extracting justifications for the OWL (Ontology Web Language) ontologies is applicable to a wide range of practical applications. In this paper, we introduce a kind of methods of justifications extraction in a constructive way, which are different from traditional methods in a destructive way. In the process of constructive extraction, the justification will be created by adding the detected critical axioms iteratively. First of all, we state a naive constructive justifications extraction method, and analyze the number of calls to the ontology reasoner by this algorithm which is O(m * k). In the following, we devise an advanced constructive justification algorithm that takes only Theta(m) calls to the ontology reasoner. The key techniques to ensure the success of such algorithm are axiom-selector and AtMost 1 constraint to be introduced. The experimental results show that our advanced constructive justification algorithm achieves significant performance compared to the traditional methods.
What problem does this paper attempt to address?