PARACONSISTENT INFERENCE FROM DATA USING EXISTENTIAL Ω-ENTAILMENT
Michael Kassoff, Michael Genesereth · International Journal of Semantic Computing · 2011
Existential Ω-entailment is a paraconsistent entailment relation designed to show the consequences of data which is inconsistent with a set of integrity constraints Ω. In this paper, we prove semantic properties of existential Ω-entailment and give an algorithm for computing it.