Recent years have seen an increasing interest in ontology-mediated query answering, in
which the semantic knowledge provided by an ontology is exploited when querying data …

The aim of this paper is to introduce and study model-theoretic notions of modularity in
description logic and related reasoning problems. Our approach is based on a …

The Logical Difference for the Lightweight Description Logic EL Page 1 Journal of Artificial
Intelligence Research 44 (2012) 633-708 Submitted 11/11; published 08/12 The Logical …

Module extraction is the task of computing a (preferably small) fragment M of an ontology O
that preserves a class of entailments over a signature of interest Σ. Extracting modules of …

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 …

Ontology-based data integration systems allow users to effectively access data sitting in
multiple sources by means of queries over a global schema described by an ontology. In …

It is known that no algorithm can extract the minimal depleting Σ-module from ontologies in
expressive description logics (DLs). Thus research has focused on algorithms that …

We consider conjunctive query inseparability of description logic knowledge bases with
respect to a given signature—a fundamental problem in knowledge base versioning …

For the development of large-scale representations of knowledge, the application of
methodologies and design principles becomes relevant. The knowledge may be organized …

In this article, we define and study the problem of exchanging knowledge between a source
and a target knowledge base (KB), connected through mappings. Differently from the …