Integrity Constraints for General-Purpose Knowledge Bases

Integrity constraints in databases have been studied extensively since the 1980s, and they are considered essential to guarantee database integrity. In recent years, several authors have studied how the same notion can be adapted to reasoning frameworks, in such a way that they achieve the purpose of guaranteeing a system's consistency, but are kept separate from the reasoning mechanisms. In this paper we focus on multi-context systems, a general-purpose framework for combining heterogeneous reasoning systems, enhancing them with a notion of integrity constraints that generalizes the corresponding concept in the database world.

[1]  Boris Motik,et al.  Bridging the gap between OWL and relational databases , 2007, WWW '07.

[2]  Luís Cruz-Filipe,et al.  Information Flow within Relational Multi-context Systems , 2014, EKAW.

[3]  Georg Gottlob,et al.  On the complexity of propositional knowledge base revision, updates, and counterfactuals , 1992, Artif. Intell..

[4]  Antonius Weinzierl,et al.  Relational Information Exchange and Aggregation in Multi-Context Systems , 2011, LPNMR.

[5]  Jan Chomicki,et al.  Consistent query answers in the presence of universal constraints , 2008, Inf. Syst..

[6]  Peter Schneider-Kamp,et al.  repAIrC: A Tool for Ensuring Data Consistency , 2015, KMIS.

[7]  John S. Schlipf,et al.  Complexity and undecidability results for logic programming , 1995, Annals of Mathematics and Artificial Intelligence.

[8]  Luís Cruz-Filipe.  Optimizing Computation of Repairs from Active Integrity Constraints , 2014, FoIKS.

[9]  Luís Cruz-Filipe,et al.  Description Logics, Rules and Multi-context Systems , 2013, LPAR.

[10]  Ernest Teniente,et al.  Consistency preserving updates in deductive databases , 2003, Data Knowl. Eng..

[11]  Antonius Weinzierl,et al.  Finding explanations of inconsistency in multi-context systems , 2010, Artif. Intell..

[12]  Thomas Eiter,et al.  Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems , 2007, AAAI.

[13]  Jan Chomicki,et al.  Consistent query answers in inconsistent databases , 1999, PODS '99.

[14]  Ester Zumpano,et al.  Consistent Data Integration in P2P Deductive Databases , 2007, SUM.

[15]  Maurizio Martelli,et al.  Integrity Constraints for Logic Databases , 1985, J. Log. Program..

[16]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[17]  Paolo Mancarella,et al.  Database Updates through Abduction , 1990, VLDB.

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

[19]  Sergio Greco,et al.  Active integrity constraints , 2004, PPDP '04.

[20]  Matthias Knorr,et al.  Evolving Multi-Context Systems , 2014, ECAI.

[21]  Rajshekhar Sunderraman,et al.  Maintaining Integrity Constraints among Distributed Ontologies , 2011, 2011 International Conference on Complex, Intelligent, and Software Intensive Systems.

[22]  Moshe Y. Vardi.  The complexity of relational query languages (Extended Abstract) , 1982, STOC '82.

[23]  Antoni Olivé,et al.  Updating knowledge bases while maintaining their consistency , 1995, The VLDB Journal.

[24]  A Survey of Peer-to-Peer Networks , 2005 .

[25]  Ester Zumpano,et al.  Dealing with incompleteness and inconsistency in P2P deductive databases , 2014, IDEAS.

[26]  Serge Abiteboul,et al.  Updates, A New Frontier , 1988, ICDT.

[27]  Michael Franz,et al.  repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints , 2015, ArXiv.

[28]  Antonius Weinzierl,et al.  Managed Multi-Context Systems , 2011, IJCAI.

[29]  Antonius Weinzierl.  Advancing Multi-Context Systems by Inconsistency Management , 2011, RuleML America.

[30]  Miroslaw Truszczynski,et al.  The View-Update Problem for Indefinite Databases , 2013, SEBD.

[31]  Thomas Eiter,et al.  The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems , 2011, INAP/WLP.

[32]  Stijn Heymans,et al.  Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs , 2010, ESWC.

[33]  Thomas Eiter,et al.  Distributed Nonmonotonic Multi-Context Systems , 2010, KR.

[34]  Thomas Eiter,et al.  Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources , 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.

[35]  Eugenia Ternovska,et al.  Generalized Multi-Context Systems , 2014, KR.

[36]  Jack Minker,et al.  Logic and Databases: A Deductive Approach , 1984, CSUR.