Distributed Reasoning with E DDL HQ + SHIQ.
George A. Vouros, Georgios M. Santipantakis · 2012
To deal with autonomous agents ’ knowledge and subjective beliefs in open, het-erogeneous and inherently distributed settings, we need special formalisms that combine knowledge from multiple and potentially heterogeneous interconnected contexts. Each context contains a chunk of knowledge defining a logical theory, called ontology unit). While standard logics may be used, subjectiveness and heterogeneity issues have been tackled by knowledge representation formalisms called contextual logics or modular ontology languages (e.g. [1] [2]).Nevertheless, in distributed and open settings we may expect that different ontology units should be combined in many different, subtle ways without making any assump-tion about the disjointness of the domains covered by different units. To address this issue we need to increase the expressivity of the language used for defining correspondences.Towards this goal, we have been motivated to propose the rep-resentation framework EDDLHQ+ SHIQ (or simply E − SHIQ). The EDDLHQ+ SHIQ framework. Given a finite index set of units ’ identifiers I, each unit Mi consists of a TBox Ti, RBox Ri, and ABox Ai in the SHIQ