.png){kind=icon}
返回
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}
分享.png){kind=icon}
收藏
摘要
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.
Keyword:
inconsistent information
logic programming
paraconsistent logic
deductive databases
query languages
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3
论文数:
3.0K
被引数:
5.1K
机构
暂无机构信息
引用论文
.png){kind=icon}
分享收藏Use of Intein-Mediated Phosphoprotein Arrays to Study Substrate Specificity of Protein PhosphatasesOAAI
OAAI分享收藏
查看更多内容