Distributed reasoning with coupled ontologies: the $$E\text {-}{\mathcal {SHIQ}}$$ E - SHIQ representation framework

Abstract

Combining ontologies in expressive fragments of Description Logics in inherently distributed peer-to-peer settings with autonomous peers is still a challenge in the general case. Although several modular ontology representation frameworks have been proposed for combining Description Logics knowledge bases, each of them has its own strengths and limitations. In this paper, we consider networks of peers, where each peer holds its own ontology within the $${\mathcal {SHIQ}}$$SHIQ fragment of Description Logics, and subjective beliefs on how its knowledge can be coupled with the knowledge of others. To allow peers to reason jointly with their coupled knowledge, while preserving their autonomy on evolving their knowledge, data, and subjective beliefs, we propose the $$E\text {-}{\mathcal {SHIQ}}$$E-SHIQ representation framework. The article motivates the need for $$E\text {-}{\mathcal {SHIQ}}$$E-SHIQ and compares it to existing representation frameworks for modular Description Logics. It discusses the implementation of the $$E\text {-}{\mathcal {SHIQ}}$$E-SHIQ distributed reasoner and presents experimental results on the efficiency of this reasoner.