.png){kind=icon}
Return
A paraconsistent logic programming approach for querying inconsistent databases
.png){kind=icon}
OA
AI
DOI：10.1016/j.ijar.2006.09.009.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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. (C) 2006 Elsevier Inc. All rights reserved.
Keywords:
inconsistent information
logic programming
paraconsistent logic
deductive databases
query languages
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
3
Papers:
3.0K
Citations:
5.1K
Organization
No organization information available
Cited Papers
.png){kind=icon}
ShareSaveUse of Intein-Mediated Phosphoprotein Arrays to Study Substrate Specificity of Protein PhosphatasesOAAI
OAAIShareSaveShareSave
View more