Advancing Multi-Context Systems by Inconsistency Management

07/11/2011
by   Antonius Weinzierl, et al.
0

Multi-Context Systems are an expressive formalism to model (possibly) non-monotonic information exchange between heterogeneous knowledge bases. Such information exchange, however, often comes with unforseen side-effects leading to violation of constraints, making the system inconsistent, and thus unusable. Although there are many approaches to assess and repair a single inconsistent knowledge base, the heterogeneous nature of Multi-Context Systems poses problems which have not yet been addressed in a satisfying way: How to identify and explain a inconsistency that spreads over multiple knowledge bases with different logical formalisms (e.g., logic programs and ontologies)? What are the causes of inconsistency if inference/information exchange is non-monotonic (e.g., absent information as cause)? How to deal with inconsistency if access to knowledge bases is restricted (e.g., companies exchange information, but do not allow arbitrary modifications to their knowledge bases)? Many traditional approaches solely aim for a consistent system, but automatic removal of inconsistency is not always desireable. Therefore a human operator has to be supported in finding the erroneous parts contributing to the inconsistency. In my thesis those issues will be adressed mainly from a foundational perspective, while our research project also provides algorithms and prototype implementations.

READ FULL TEXT
research
03/22/2023

Lessons learned to boost a bioinformatics knowledge base reusability, the Bgee experience

Background, enhancing interoperability of bioinformatics knowledge bases...
research
04/21/2013

Exchanging OWL 2 QL Knowledge Bases

Knowledge base exchange is an important problem in the area of data exch...
research
02/27/2013

Penalty logic and its Link with Dempster-Shafer Theory

Penalty logic, introduced by Pinkas, associates to each formula of a kno...
research
08/27/2021

Cleaning Inconsistent Data in Temporal DL-Lite Under Best Repair Semantics

In this paper, we address the problem of handling inconsistent data in T...
research
04/25/2015

Preferential Multi-Context Systems

Multi-context systems (MCS) presented by Brewka and Eiter can be conside...
research
09/20/2016

A Theory of Interactive Debugging of Knowledge Bases in Monotonic Logics

A broad variety of knowledge-based applications such as recommender, exp...
research
03/06/2013

Argumentative inference in uncertain and inconsistent knowledge bases

This paper presents and discusses several methods for reasoning from inc...

Please sign up or login with your details

Forgot password? Click here to reset