A paraconsistent logic programming approach for querying inconsistent databases

Sandra de Amo, Mônica Sakuray Pais
2007 International Journal of Approximate Reasoning  
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integration allows keeping inconsistent information and reasoning in its presence. In this paper, we use a paraconsistent logic (LFI1) as the underlying logic for the specification of P-Datalog, a deductive query language for databases containing inconsistent information. We present a declarative semantics which captures the
more » ... sired meaning of a recursive query executed over a database containing inconsistent facts and whose rules allow inferring information from inconsistent premises. We also present a bottomup evaluation method for P-Datalog programs based on an alternating fixpoint operator.
doi:10.1016/j.ijar.2006.09.009 fatcat:tezgi5pygfeldi4klw5nauivy4