The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems

Eiter, Thomas; Fink, Michael; Ianni, Giovambattista; Schüller, Peter

doi:10.1007/978-3-642-41524-1_1

Cited by 4 publications

(6 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Multi-context systems [14,10] also offer context-dependent mechanisms for managing and resolving inconsistencies. They harness heterogeneous information sources using bridge rules which specify how information can be pooled from these sources.…”

Section: Discussionmentioning

confidence: 99%

Localising iceberg inconsistencies

Bona

Hunter

2017

Artificial Intelligence

View full text Add to dashboard Cite

In artificial intelligence, it is important to handle and analyse inconsistency in knowledge bases. Inconsistent pieces of information suggest questions like "where is the inconsistency?" and "how severe is it?". Inconsistency measures have been proposed to tackle the latter issue, but the former seems underdeveloped and is the focus of this paper. Minimal inconsistent sets have been the main tool to localise inconsistency, but we argue that they are like the exposed part of an iceberg, failing to capture contradictions hidden under the water. Using classical propositional logic, we develop methods to characterise when a formula is contributing to the inconsistency in a knowledge base and when a set of formulas can be regarded as a primitive conflict. To achieve this, we employ an abstract consequence operation to "look beneath the water level", generalising the minimal inconsistent set concept and the related free formula notion. We apply the framework presented to the problem of measuring inconsistency in knowledge bases, putting forward relaxed forms for two debatable postulates for inconsistency measures. Finally, we discuss the computational complexity issues related to the introduced concepts.

show abstract

Section: Discussionmentioning

confidence: 99%

Localising iceberg inconsistencies

Bona

Hunter

2017

Artificial Intelligence

View full text Add to dashboard Cite

show abstract

“…This approach was taken in e.g. [16]. However, we believe that integrity constraints should be kept separate from the data, and having them as a separate layer achieves this purpose.…”

Section: Integrity Constraints On Multi-context Systemsmentioning

confidence: 99%

“…Theorem 3 could be obtained by adding integrity constraints as bridge rules with a special inconsistency atom, as discussed earlier, and done in [16]). This would significantly blur the picture, though, as in principle nothing would prevent us from writing integrity constraints referencing the inconsistency atom in their body, potentially leading to circular reasoning.…”

Section: Relational Databasesmentioning

confidence: 99%

“…a set of integrity constraints can be reduced to finding a set of update actions that will make a logically inconsistent MCS have equilibria. The results on diagnosing and repairing logical inconsistency in multi-context systems [16,17] can therefore be used to tackle this problem. By considering deductive databases as MCSs, we also see the problem of repairing an inconsistent MCS as a generalization of the view-update problem [24,25,32].…”

Section: Repairs and Managed Multi-context Systemsmentioning

confidence: 99%

“…integrity constraints, defined in the next section) throughout this paper. This problem has been studied extensively [6,16,17,35]; its decidability depends on decidability of reasoning in the underlying contexts. The complexity of checking logical consistency of an MCS M depends on the context complexity of M -the highest complexity of deciding consistency in one of the contexts in M (cf.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Integrity Constraints for General-Purpose Knowledge Bases

Cruz-Filipe¹,

Nunes²,

Schneider–Kamp³

2016

Lecture Notes in Computer Science

View full text Add to dashboard Cite

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.Comment: FoIKS 201

show abstract

Active Integrity Constraints for Multi-context Systems

Cruz-Filipe

Gaspar

Nunes

et al. 2016

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. We introduce a formalism to couple integrity constraints over general-purpose knowledge bases with actions that can be executed to restore consistency. This formalism generalizes active integrity constraints over databases. In the more general setting of multi-context systems, adding repair suggestions to integrity constraints allows defining simple iterative algorithms to find all possible grounded repairs -repairs for the global system that follow the suggestions given by the actions in the individual rules. We apply our methodology to ontologies, and show that it can express most relevant types of integrity constraints in this domain.

show abstract

The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems

Cited by 4 publications

References 19 publications

Localising iceberg inconsistencies

Localising iceberg inconsistencies

Integrity Constraints for General-Purpose Knowledge Bases

Active Integrity Constraints for Multi-context Systems

Contact Info

Product

Resources

About