Abstract ℰ ℒ EL is a simple tractable Description Logic that features conjunctions and
existential restrictions. Due to its favorable computational properties and relevance to …

In this chapter, we explain what description logics are and why they make good ontology
languages. In particular, we introduce the description logic SHIQ, which has formed the …

Finding the justifications of an entailment (that is, all the minimal set of axioms sufficient to
produce an entailment) has emerged as a key inference service for the Web Ontology …

Auditors of a large terminology, such as SNOMED CT, face a daunting challenge. To aid
them in their efforts, it is essential to devise techniques that can automatically identify …

Ontology matching is the process of generating alignments between ontologies. An
alignment is a set of correspondences. Each correspondence links concepts and properties …

We propose a general method and novel algorithmic techniques to facilitate the integration
of independently developed ontologies using map**s. Our method and techniques aim at …

In this paper we propose an ontology matching paradigm based on the idea of harvesting
the Semantic Web, ie, automatically finding and exploring multiple and heterogeneous …

Consistent query answering is a standard approach for producing meaningful query
answers when data is inconsistent. Recent work on consistent query answering in the …

Abstract Background The UMLS Metathesaurus (UMLS-Meta) is currently the most
comprehensive effort for integrating independently-developed medical thesauri and …

The classical approach for repairing a Description Logic ontology O in the sense of
removing an unwanted consequence α is to delete a minimal number of axioms from O such …