As semantically enabled applications require high-quality ontologies, develo** and
maintaining ontologies that are as correct and complete as possible is an important although …

The question of how a given knowledge base can be modified such that certain unwanted
consequences are removed has been investigated in the area of ontology engineering …

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 …

This thesis investigates methods for abductive reasoning in large knowledge bases.
Abduction refers to the process of explaining new observations using prior knowledge …

In the context of the ℰℒ description logic, we define and study a new concept difference
operator, called commonality subtraction operator (CSO), with respect to an acyclic …

Dans un contexte de recherche de ressources sur une plateforme documentaire, nous
proposons le CCO, un opérateur de matchmaking sémantique multicritère se basant sur une …

Abstract Unification in Description Logics (DLs) has been proposed as an inference service
that can, for example, be used to detect redundancies in ontologies. For the DL EL, which is …