资源论文Computing Approximate Query Answers over Inconsistent Knowledge Bases

Computing Approximate Query Answers over Inconsistent Knowledge Bases

2019-11-05 | |  57 |   41 |   0
Abstract Consistent query answering is a principled approach for querying inconsistent knowledge bases. It relies on the notion of a repair, that is, a maximal consistent subset of the facts in the knowledge base. One drawback of this approach is that entire facts are deleted to resolve inconsistency, even if they may still contain useful “reliable” information. To overcome this limitation, we propose a new notion of repair allowing values within facts to be updated for restoring consistency. This more finegrained repair primitive allows us to preserve more information in the knowledge base. We also introduce the notion of a universal repair, which is a compact representation of all repairs. Then, we show that consistent query answering in our framework is intractable (coNP-complete). In light of this result, we develop a polynomial time approximation algorithm for computing a sound (but possibly incomplete) set of consistent query answers.

上一篇:Finite Model Reasoning in Hybrid Classes of Existential Rules

下一篇:Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies

用户评价
全部评价

热门资源

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...