Abstract Information systems have to deal with an increasing amount of data that is
heterogeneous, unstructured, or incomplete. In order to align and complete data, systems …

Signature-based abduction aims at building hypotheses over a specified set of names, the
signature, that explain an observation relative to some background knowledge. This type of …

Abductive reasoning generates explanatory hypotheses for new observations using prior
knowledge. This paper investigates the use of forgetting, also known as uniform …

In abduction, we are given a KB as background knowledge, in combination with a set of facts
(the observation) that cannot be deduced from the background knowledge. We are then …

Abduction in description logics finds extensions of a knowledge base to make it entail an
observation. As such, it can be used to explain why the observation does not follow, to repair …

This paper proposes a validation mechanism for newly added triples in a growing
knowledge graph. Given a logical theory, a knowledge graph, a text corpus, and a new triple …

TBox abduction explains why an observation is not entailed by a TBox, by computing
multiple sets of axioms, called explanations, such that each explanation does not entail the …

The aim of this paper is to introduce a new framework for defining abductive reasoning
operators based on a notion of retraction in arbitrary logics defined as satisfaction systems …

We develop an ABox abduction algorithm for description logics based on Reiter's minimal
hitting set algorithm. It handles abduction problems with multiple observations and it …

The AAA ABox Abduction Solver | KI - Künstliche Intelligenz Skip to main content SpringerLink
Account Menu Find a journal Publish with us Track your research Search Cart 1.Home 2.KI …