Logic-based approaches to AI have the advantage that their behaviour can in principle be
explained by providing their users with proofs for the derived consequences. However, if …

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 …

This paper explores how the logical difference between two ontologies can be tracked using
a forgetting-based or uniform interpolation (UI)-based approach. The idea is that rather than …

Forgetting is a non-standard reasoning problem concerned with creating restricted views for
ontologies relative to subsets of their initial signatures while preserving all logical …

We present a method for forgetting concept symbols in ontologies specified in the
description logic ALCOI. The method is an adaptation and improvement of a second-order …

Forgetting variables from a propositional formula may increase its size. Introducing new
variables is a way to shorten it. Both operations can be expressed in terms of common …

This paper investigates variable forgetting and marginalization in propositional logic. We
show that for finite signatures and infinite signatures, variable forgetting and marginalization …

Removing unwanted consequences from a knowledge base has been investigated in belief
change under the name contraction and is called repair in ontology engineering. Simple …

Abductive forgetting is removing variables from a logical formula while maintaining its
abductive explanations. It is defined in either of two ways, depending on its intended …

The current trend for building an ontology-based data management system (DMS) is to
capitalize on efforts made to design a preexisting well-established DMS (a reference …