Consistency and Provenance in Rule Processing

Open collections of data and rules on the web are typically characterized by heterogeneous quality and imperfect consistency. In reasoning with data and rules on the web, it is important to know where an answer comes from (provenance) and whether the it is reasonable considering the inconsistencies (inconsistency-tolerance). In this paper, I draw attention to the idea that provenance and inconsistency-tolerance play mutually supporting roles under the theme of reasoning with imperfect information on the web. As a specific example, I make use of basic provenance information to avoid unreasonable answers in reasoning with rules and inconsistent data.

[1]  Mauricio Minuto Espil,et al.  Revising data cubes with exceptions: a rule-based perspective , 2002, DMDW.

[2]  Stefan Schlobach,et al.  Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[3]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[4]  Jennifer Widom,et al.  Databases with uncertainty and lineage , 2008, The VLDB Journal.

[5]  Luc Moreau,et al.  Provenance-based reproducibility in the Semantic Web , 2011, J. Web Semant..

[6]  Alexandra Poulovassilis,et al.  Tracing Data Lineage Using Schema Transformation Pathways , 2003, Knowledge Transformation for the Semantic Web.

[7]  Houkuan Huang,et al.  Linear Reduction Reasoning with Inconsistent Ontology , 2011, 2011 Fourth International Joint Conference on Computational Sciences and Optimization.

[8]  Hao Fan.  Tracing Data Lineage Using Automed Schema Transformation Pathways , 2002, BNCOD.

[9]  Wolfgang Faber,et al.  Logic Programming and Nonmonotonic Reasoning , 2011, Lecture Notes in Computer Science.

[10]  Michael R. Genesereth,et al.  PrediCalc: a logical spreadsheet management system , 2005, The Knowledge Engineering Review.

[11]  Neli Zlatareva,et al.  Supporting Uncertainty and Inconsistency in Semantic Web Applications , 2009, FLAIRS.

[12]  Thomas Eiter,et al.  Data Integration and Answer Set Programming , 2005, LPNMR.

[13]  Shiyong Lu,et al.  RDFProv: A relational RDF store for querying and managing scientific workflow provenance , 2010, Data Knowl. Eng..

[14]  Morten Elvang-Gøransson,et al.  Argumentative Logics: Reasoning with Classically Inconsistent Information , 1995, Data Knowl. Eng..

[15]  Leopoldo E. Bertossi,et al.  Logic Programs for Consistently Querying Data Integration Systems , 2003, IJCAI.

[16]  Guillermo Ricardo Simari,et al.  REASONING WITH INCONSISTENT ONTOLOGIES THROUGH ARGUMENTATION , 2010, Appl. Artif. Intell..

[17]  Alessandro Dal Palù,et al.  Answer Set Programming with Constraints Using Lazy Grounding , 2009, ICLP.

[18]  Michael R. Genesereth,et al.  Paraconsistent Inference from Data Using Existential Omega-Entailment , 2011, 2011 22nd International Workshop on Database and Expert Systems Applications.

[19]  Leopoldo E. Bertossi,et al.  Repairing databases with annotated predicate logic , 2002, NMR.

[20]  Vladimir Lifschitz,et al.  Answer Set Programming , 2019 .

[21]  Yogesh L. Simmhan,et al.  The Open Provenance Model core specification (v1.1) , 2011, Future Gener. Comput. Syst..

[22]  Leopoldo E. Bertossi,et al.  Logic Programs for Querying Inconsistent Databases , 2003, PADL.

[23]  Parag Agrawal,et al.  Trio: a system for data, uncertainty, and lineage , 2006, VLDB.

[24]  Thomas Eiter,et al.  FROM INCONSISTENT DATA INTEGRATION SYSTEMS , 2005 .

[25]  Michael R. Genesereth,et al.  Paraconsistent Inference from Data Using Existential Omega-Entailment , 2011, DEXA Workshops.

[26]  Jan Chomicki,et al.  Answer sets for consistent query answering in inconsistent databases , 2002, Theory and Practice of Logic Programming.

[27]  M. Genesereth,et al.  Query rewriting with filtering constraints , 2011 .

[28]  Deborah L. McGuinness,et al.  Linked provenance data: A semantic Web-based approach to interoperable workflow traces , 2011, Future Gener. Comput. Syst..

[29]  Michael R. Genesereth,et al.  Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases , 2009, SARA.

[30]  Jan Chomicki,et al.  Specifying and Querying Database Repairs using Logic Programs with Exceptions , 2000, FQAS.

[31]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[32]  Frank van Harmelen,et al.  Reasoning with Inconsistent Ontologies , 2005, IJCAI.