In this paper, we propose a set of tasks that are relevant for the modular reuse of ontologies.
In order to formalize these tasks as reasoning problems, we introduce the notions of …

Ontologies are at the heart of the semantic web. They define the concepts and relationships
that make global interoperability possible. However, as these ontologies grow in size they …

The ability to extract meaningful fragments from an ontology is key for ontology re-use. We
propose a definition of a module that guarantees to completely capture the meaning of a …

In the past two decades, the use of ontologies has grown accompanied by a diversity in
ontological representations and applications to more comprehensive domains. Knowledge …

Abstract The Semantic Web for the Life Sciences (SWLS), when realized, will dramatically
improve our ability to conduct bioinformatics analyses using the vast and growing stores of …

Problems resulting from the management of shared, distributed knowledge has led to
ontologies being employed as a solution, in order to effectively integrate information across …

It has been a formidable task to achieve efficiency and scalability for the alignment between
two massive, conceptually similar ontologies. Here we assume, an ontology is typically …

Modularity in ontologies is key both for large scale ontology development and for distributed
ontology reuse on the Web. However, the problems of formally characterizing a modular …

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 …

Current middleware solutions, eg, application servers and Web services, are very complex
software products that are hard to tame because of intricacies of distributed systems. Their …