Finding explanations of inconsistency in multi-context systems

We provide two approaches for explaining inconsistency in multi-context systems, where decentralized and heterogeneous system parts interact via nonmonotonic bridge rules. Inconsistencies arise easily in such scenarios, and nonmonotonicity calls for specific methods of inconsistency analysis. Both our approaches characterize inconsistency in terms of involved bridge rules: either by pointing out rules which need to be altered for restoring consistency, or by finding combinations of rules which cause inconsistency. We show duality and modularity properties, give precise complexity characterizations, and provide algorithms for computation using HEX-programs. Our results form a basis for inconsistency management in heterogeneous knowledge integration systems.

• Publication year

  2010

• Venue

  Artificial Intelligence

• Publication date

  2010-05-09

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1016/j.artint.2014.07.008
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Contextualized knowledge repositories for the Semantic Web

  2012cited by this paper
• Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources

  2011cited by this paper
• Logic Based Merging

  2011cited by this paper
• Pushing Efficient Evaluation of HEX Programs by Modular Decomposition

  2011cited by this paper
• Stepping through an Answer-Set Program

  2011cited by this paper
• Strategies for contextual reasoning with conflicts in ambient intelligence

  2011cited by this paper
• Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems

  2011cited by this paper
• Database Repairing and Consistent Query Answering

  2011cited by this paper
• CTL Model Update for System Modifications

  2011cited by this paper
• Comparing Inconsistency Resolutions in Multi-Context Systems

  2011cited by this paper
• The mcs-ie System for Explaining Inconsistency in Multi-Context Systems

  2010cited by this paper
• Paracoherent Answer Set Programming

  2010cited by this paper
• Preference-Based Inconsistency Assessment in Multi-Context Systems

  2010cited by this paper
• Under Consideration for Publication in Theory and Practice of Logic Programming Catching the Ouroboros: on Debugging Non-ground Answer-set Programs

  2010cited by this paper
• Distributed Nonmonotonic Multi-Context Systems

  2010cited by this paper
• Decomposition of Distributed Nonmonotonic Multi-Context Systems

  2010cited by this paper
• Inconsistency-Tolerant Semantics for Description Logics

  2010cited by this paper
• The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems

  2010cited by this paper
• Combining Nonmonotonic Knowledge Bases with External Sources

  2009cited by this paper
• A Meta-Programming Technique for Debugging Answer-Set Programs

  2008cited by this paper
• On the Semantics of Trust and Caching in the Semantic Web

  2008cited by this paper
• Distributed Defeasible Contextual Reasoning in Ambient Computing

  2008cited by this paper
• Aspects of Inconsistency Resolution in Modular Ontologies

  2008cited by this paper
• Handbook of Knowledge Representation

  2008cited by this paper
• Belief Revision

  2008cited by this paper
• Peer-to-Peer Query Answering with Inconsistent Knowledge

  2008cited by this paper
• Debugging ASP Programs by Means of ASP

  2007cited by this paper
• Contextual Default Reasoning

  2007cited by this paper
• Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems

  2007cited by this paper
• Consistent Query Answering over Description Logic Ontologies

  2007cited by this paper
• A survey on ontology mapping

  2006cited by this paper
• Debugging Inconsistent Answer Set Programs

  2006cited by this paper
• Consistent query answering in databases

  2006cited by this paper
• Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning

  2006influential reference
• Minimal and Absent Information in Contexts

  2005cited by this paper
• Inconsistency Tolerance [result from a Dagstuhl seminar]

  2005cited by this paper
• A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming

  2005influential reference
• Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach

  2005cited by this paper
• Semantic Integration Research in the Database Community: A Brief Survey

  2005cited by this paper
• The INFOMIX system for advanced integration of incomplete and inconsistent data

  2005cited by this paper
• Semantic Integration Research in the Database Community : A Brief Survey

  2005cited by this paper
• Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity

  2004cited by this paper
• Fusion rules for context-dependent aggregation of structured news reports

  2004cited by this paper
• Logical foundations of peer-to-peer data integration

  2004cited by this paper
• The description logic handbook: theory

  2003cited by this paper
• Distributed Description Logics: Assimilating Information from Peer Sources

  2003cited by this paper
• Logic Programs with Consistency-Restoring Rules

  2003cited by this paper
• Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation

  2003cited by this paper
• Data Management for Peer-to-Peer Computing : A Vision

  2002cited by this paper
• The DLV system for knowledge representation and reasoning

  2002cited by this paper
• Data integration: a theoretical perspective

  2002cited by this paper
• Local Models Semantics, or contextual reasoning=locality+compatibility

  2001cited by this paper
• Contextual Reasoning

  1998cited by this paper
• Signed Systems for Paraconsistent Reasoning

  1998cited by this paper
• Complexity and expressive power of logic programming

  1997cited by this paper
• Integrity constraint checking in federated databases

  1996cited by this paper
• ABDUCTIVE CHANGE OPERATORS

  1996cited by this paper
• On the computational cost of disjunctive logic programming: Propositional case

  1995cited by this paper
• Paraconsistent logics?

  1995cited by this paper
• Abductive Framework for Nonmonotonic Theory Change

  1995cited by this paper
• Parallel Abduction in Logic Programming

  1994cited by this paper
• Belief Revision

  1994cited by this paper
• Inconsistency Handling in Multperspective Specifications

  1994cited by this paper
• Multilanguage hierarchical logics (or: how we can do without modal logics)

  1994cited by this paper
• Splitting a Logic Program

  1994cited by this paper
• Debugging by Diagnosing Assumptions

  1993cited by this paper
• Labelled deductive systems: a position paper

  1993cited by this paper
• Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency

  1993cited by this paper
• Diagnosis and Debugging as Contradiction Removal

  1993cited by this paper
• Complexity Results for Nonmonotonic Logics

  1992cited by this paper
• Making inconsistency respectable 1 : A logical framework for inconsistency

  1992cited by this paper
• Viewpoints: A Framework for Integrating Multiple Perspectives in System Development

  1992cited by this paper
• A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief

  1992cited by this paper
• Belief Revision: Belief revision: An introduction

  1992cited by this paper
• Classical negation in logic programs and disjunctive databases

  1991cited by this paper
• The Computational Complexity of Abduction

  1991cited by this paper
• Stable semantics for disjunctive programs

  1991cited by this paper
• Federated database systems for managing distributed, heterogeneous, and autonomous databases

  1990cited by this paper
• Reasoning About Truth

  1989cited by this paper
• A Framework for Prolog Debugging

  1988cited by this paper
• Declarative error diagnosis

  1987cited by this paper
• Paraconsistent Logic Programming

  1987cited by this paper
• A Theory of Diagnosis from First Principles

  1986influential reference
• A federated architecture for information management

  1985cited by this paper
• Algorithmic Program Debugging

  1983cited by this paper
• A Useful Four-Valued Logic

  1977cited by this paper
• Ieee Transactions on Knowledge and Data Engineering Defeasible Contextual Reasoning with Arguments in Ambient Intelligence

  year unknowncited by this paper
• Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Managed Multi-Context Systems ∗

  year unknowncited by this paper

• An XAI View on Explainable ASP: Methods, Systems, and Perspectives

  2026cites this paper
• Fuzzy Multicontext Systems

  2023cites this paper
• General information spaces: measuring inconsistency, rationality postulates, and complexity

  2021cites this paper
• Contextual defeasible reasoning framework for heterogeneous knowledge sources

  2021cites this paper
• Intrinsic approaches to prioritizing diagnoses in multi-context systems

  2020cites this paper
• Measuring Inconsistency in a General Information Space

  2020cites this paper
• Contextual Defeasible Reasoning Framework for Heterogeneous Systems

  2020cites this paper
• Contextual and Possibilistic Reasoning for Coalition Formation

  2020cites this paper
• Multi-context systems in dynamic environments

  2019cites this paper
• Strong inconsistency

  2019cites this paper
• Understanding Inconsistency - A Contribution to the Field of Non-monotonic Reasoning

  2019cites this paper
• Repairing Argumentation Frameworks

  2019cites this paper
• A Causality-Based Approach to Assessing Inconsistency for Multi-context Systems

  2019cites this paper
• Repairing Non-monotonic Knowledge Bases

  2019cites this paper
• A Logic Framework for P2P Deductive Databases

  2019cites this paper
• Multi-Context System for Optimization Problems

  2019cites this paper
• Technical Report: Inconsistency in Answer Set Programs and Extensions

  2018cites this paper
• Active integrity constraints for general-purpose knowledge bases

  2018cites this paper
• Towards a Unified Framework for Syntactic Inconsistency Measures

  2018cites this paper
• Answering why-not questions on SPARQL queries

  2018cites this paper
• Multi-Context Reasoning in Continuous Data-Flow Environments

  2018cites this paper
• Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract)

  2018cites this paper
• Adjudication of coreference annotations via answer set optimisation

  2018cites this paper
• Towards semantically-aided domain specific business process modeling

  2018cites this paper
• Adjudication of Coreference Annotations via Answer Set Optimization

  2017cites this paper
• Applications of non-monotonic reasoning to automotive product configuration using answer set programming

  2017cites this paper
• Localising iceberg inconsistencies

  2017cites this paper
• Multi-Context Systems for Consistency Validation and Querying of Business Process Models

  2017cites this paper
• Modeling and Reasoning about Preference-Based Context-Aware Agents over Heterogeneous Knowledge Sources

  2017cites this paper
• Explaining Inconsistency in Answer Set Programs and Extensions

  2017cites this paper
• Preference-Based Inconsistency Management in Multi-Context Systems

  2017influential citation
• On explaining inconsistencies in multi-context streams as support for the human user

  2017influential citation
• Answer Set Programming with External Source Access

  2017cites this paper
• Inconsistency Management in Reactive Multi-context Systems

  2016cites this paper
• Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments

  2016cites this paper
• Adjudication of Coreference Annotations via Finding Optimal Repairs of Equivalence Relations

  2016cites this paper
• Towards Inconsistency Management in Reactive Multi-Context Systems

  2016cites this paper
• Modular Logic Programming: Full Compositionality and Conflict Handling for Practical Reasoning

  2016cites this paper
• Integrity Constraints for General-Purpose Knowledge Bases

  2016influential citation
• Modelling and Reasoning About Context-Aware Agents over Heterogeneous Knowledge Sources

  2016cites this paper
• Justifications and Blocking Sets in a Rule-Based Answer Set Computation

  2016cites this paper
• Problem Solving Using the HEX Family

  2016cites this paper
• A graded approach to database repair by context-aware distance semantics

  2016cites this paper
• Unifying Justifications and Debugging for Answer-Set Programs

  2015cites this paper
• A Validation Technique for Integrated Ontologies

  2015cites this paper
• Multi-Context Systems with Preferences

  2015cites this paper
• I N F S Y S Problem Solving Using the Hex Family Infsys Forschungsbericht Problem Solving Using the Hex Family

  2015cites this paper
• A Scalable Adaptive Method for Complex Reasoning Over Semantic Data Streams

  2015cites this paper
• Towards Efficient Evolving Multi-Context Systems (Preliminary Report)

  2015cites this paper
• Printed in the United Kingdom Resolving Conflicts in Knowledge for Ambient Intelligence

  2015influential citation
• Resolving conflicts in knowledge for ambient intelligence

  2015influential citation
• Preferential Multi-Context Systems

  2015influential citation
• Tools for Conviviality in Multi-Context Systems

  2014influential citation
• Inconsistences in Hybrid Knowledge Bases

  2014cites this paper
• Evolving Multi-Context Systems

  2014cites this paper
• Multi-Context Systems for Reactive Reasoning in Dynamic Environments

  2014cites this paper
• Supported Semantics for Modular Systems

  2014cites this paper
• Computing Coalitions in Multiagent Systems: A Contextual Reasoning Approach

  2014cites this paper
• Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property

  2014cites this paper
• A MCS-based methodology for computing coalitions in Multirobot Systems

  2014cites this paper
• ASP Taking Action

  2014cites this paper
• Evolving Bridge Rules in Evolving Multi-Context Systems

  2014influential citation
• On Efficient Evolving Multi-Context Systems

  2014cites this paper
• Generalized Multi-Context Systems

  2014cites this paper
• Preference-Based Diagnosis Selection in Multi-Context Systems

  2014cites this paper
• Eliminating Unfounded Set Checking for HEX-Programs

  2013cites this paper
• Information Dependencies in MCS: Conviviality-Based Model and Metrics

  2013cites this paper
• Arithmetic and Modularity in Declarative Languages for Knowledge Representation

  2013cites this paper
• Applications of Declarative Programming and Knowledge Management

  2013influential citation
• An efficient language pipeline for flexible rule-based context representation

  2013cites this paper
• Modeling and evaluating cooperation in multi-context systems using conviviality

  2012cites this paper
• Exploiting Unfounded Sets for HEX-Program Evaluation

  2012cites this paper
• Solving model expansion tasks: System design and modularity

  2012cites this paper
• Introducing Conviviality as a property of Multi-Context Systems

  2012cites this paper
• Privacy Preservation Using Multi-context Systems and Default Logic

  2012cites this paper
• Managing Inconsistency in Multi-context Systems Using the Impl Policy Language Managing Inconsistency in Multi-context Systems Using the Impl Policy Language

  2012influential citation
• The 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge European Conference on Artificial Intelligence Invited Talk: Multi Context Logics: a Formal Framework for Structuring Knowledge 9 Influence of Context on Decision Making during Requirements Elic

  2012cites this paper
• Conflict-driven ASP solving with external sources

  2012cites this paper
• Answer Set Programming with External Sources

  2012cites this paper
• Under Consideration for Publication in Theory and Practice of Logic Programming Conflict-driven Asp Solving with External Sources

  year unknowncites this paper
• Under Consideration for Publication in Theory and Practice of Logic Programming the Dlvhex System for Knowledge Representation: Recent Advances (system Description) *

  year unknowncites this paper