Non-revision reasoning with inconsistent ontology
Hongwei Wang, Ansheng Deng · 2013
The issue of inconsistency handling has attracted a lot of attentions recently. As we know that ontology reasoner will stop work once contradiction happens. In logic reasoning, belief non-revision focuses on the management of contradiction beliefs. In this paper, we try to translate the ontology to formulas in First-order Logic (FOL) with the help of description logic, so belief non-revision reasoning can continue. This approach is a new method to conduct reasoning with inconsistency based on the belief non-revision.