Lexicographical Inference over Inconsistent DL-Based Ontologies

Jianfeng Du,Guilin Qi,Yi-Dong Shen
DOI: https://doi.org/10.1007/978-3-540-88737-9_6
2008-01-01
Abstract:Logical inconsistency may often occur throughout the development stage of a DL-based ontology. We apply the lexicographic inference to reason over inconsistent DL-based ontologies without repairing them first. We address the problem of checking consequences in a $\mathcal{SHIQ}$ ontology that are classically inferred from every consistent (or coherent) subontology having the highest lexicographic precedence . We propose a method for compiling a $\mathcal{SHIQ}$ ontology to a propositional program so that the problem can be solved in polynomial calls to a SAT solver. We prove that this time complexity is worst-case optimal in data complexity. In order to make the method more scalable, we also present partition-based techniques to optimize the calling of SAT solvers.
What problem does this paper attempt to address?