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 …

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

Signature-Based Abduction for Expressive Description Logics Page 1 Signature-Based
Abduction for Expressive Description Logics Patrick Koopmann1 , Warren Del-Pinto2 , Sophie …

Forgetting is an operation on knowledge bases that has been addressed in different areas of
Knowledge Representation and with respect to different formalisms, including classical …

Uniform interpolation and the dual task of forgetting restrict the ontology to a specified subset
of concept and role names. This makes them useful tools for ontology analysis, ontology …

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 …

The question whether an ontology can safely be replaced by another, possibly simpler, one
is fundamental for many ontology engineering and maintenance tasks. It underpins, for …

We first consider two decidable fragments of quantified modal logic $\mathsf {S5} $: the one-
variable fragment $\mathsf {Q}^ 1\mathsf {S5} $ and its extension $\mathsf {S5} _ {\mathcal …

Uniform interpolation and forgetting describe the task of projecting a given ontology into a
user-specified vocabulary, that is, of computing a new ontology that only uses names from a …

With the growth of ontologies used in diverse application areas, the need for module
extraction and modularisation techniques has risen. The notion of the modular structure of …