Abstract: Modular Ontology Languages Revisited.

Bernardo Cuenca-Grau and Oliver Kutz

In this paper, we compare various formalisms that have been recently introduced or used for distributed reasoning, ontology integration, and related topics. In particular, we focus on E-connections, Distributed Description Logics, and Package-based Description Logics. We then establish the relationship between these formalisms and various non-standard reasoning services that have been recently proposed for assisting the modeller in ontology integration and knowledge reuse tasks, such as locality of an ontology and conservative extensions.