We present a detailed semantics for linguistic spatial expressions supportive of
computational processing that draws substantially on the principles and tools of ontological …

In computer science, ontologies are dynamic entities: to adapt them to new and evolving
applications, it is necessary to frequently perform modifications such as the extension with …

The notion of a conservative extension plays a central role in ontology design and
integration: it can be used to formalize ontology refinements, safe mergings of two …

We study the problem of deciding whether two ontologies are inseparable wrt a signature Σ,
ie, whether they have the same consequences in the signature Σ. A special case is to decide …

The present paper proposes a conceptual ontology to evaluate human factors by modelling
their key performance indicators and defining these indicators' explanatory factors …

We develop a formal framework for comparing different versions of ontologies, and apply it
to ontologies formulated in terms of DL-Lite, a family of 'lightweight'description logics …

Traditionally connected to philosophy, the term ontology is increasingly related to
information systems areas. Some researchers consider the approaches of the two …

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 …

We develop a formal framework for comparing different versions of DL-Lite ontologies. Four
notions of difference and entailment between ontologies are introduced and their …

Forgetting is an important tool for reducing ontologies by eliminating some redundant
concepts and roles while preserving sound and complete reasoning. Attempts have …