ε-connections of abstract description systems
Artificial Intelligence
Generalized link properties for expressive ε-connections of description logics
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Aspects of distributed and modular ontology reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Scalable highly expressive reasoner (SHER)
Web Semantics: Science, Services and Agents on the World Wide Web
A semantic information system for services and traded resources in Grid e-markets
Future Generation Computer Systems
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Hi-index | 0.00 |
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^{DDL} _{HQ^+}$ $\mathcal{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 $\mathcal{SHIQ}$ fragment of Description Logics. The paper presents $E^{DDL} _{HQ^+}$ $\mathcal{SHIQ}$ and proposes an algorithm for the retrieval of individuals in a distributed setting.