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

摘要

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}}\) 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}}\) representation framework. The article motivates the need for \(E\text {-}{\mathcal {SHIQ}}\) and compares it to existing representation frameworks for modular Description Logics. It discusses the implementation of the \(E\text {-}{\mathcal {SHIQ}}\) distributed reasoner and presents experimental results on the efficiency of this reasoner.