Distributed instance retrieval in E HQ+DDL SHIQ representation framework

Abstract

While there has been a great deal of work concerning distributed reasoning with ontologies, in most cases either only TBox reasoning is concerned, or ABox reasoning is supported for languages of limited expressivity. To a greater extent than other representation frameworks, the proposed E HQ+DDL SHIQ framework allows peers to establish concept-to-concept semantic correspondences to acquaintances' ontologies via bridge rules, and relate individuals by equivalence correspondences or link assertions for the SHIQ fragment of Description Logics. The paper presents E HQ+DDL SHIQ and proposes an algorithm for the retrieval of individuals in a distributed setting. © 2012 Springer-Verlag.