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 order to meet usability requirements, most logic-based applications provide explanation
facilities for reasoning services. This holds also for Description Logics, where research has …

Ontology-mediated query answering is an extensively studied paradigm, where the
conceptual knowledge provided by an ontology is leveraged towards more enhanced …

We consider query answering on Description Logic (DL) ontologies with DBoxes, where a
DBox is a set of assertions on individuals involving atomic concepts and roles called DBox …

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 …

In this paper, we propose an original way of enriching description logics with abduction
reasoning services. Under the aegis of set and lattice theories, we put together ingredients …

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 …

Evaluating food quality is a complex process since it relies on numerous criteria historically
grouped into four main types: nutritional, sensorial, practical and hygienic qualities. They …