Sciweavers

Share
IJAR
2007

A paraconsistent logic programming approach for querying inconsistent databases

8 years 7 months ago
A paraconsistent logic programming approach for querying inconsistent databases
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 desired 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 bottom-up evaluation method for P-Datalog programs based on an alternating fixpoint operator. Key words: Inconsistent Information, Logic Programming, Paraconsistent Logic, Deductive Databases, Query Languages.
Sandra de Amo, Mônica Sakuray Pais
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2007
Where IJAR
Authors Sandra de Amo, Mônica Sakuray Pais
Comments (0)
books