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^{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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Borgida, A., Luciano Serafini, L.: Distributed Description Logics: Assimilating Information from Peer Sources. Data Semantics, 153–184 (2003)
Dolby, J., Fokoue, A., Kalyanpur, A., Schonberg, E., Srinivas, K.: Scalable highly expressive reasoner (SHER). Web Semantics 7, 357–361 (2009)
Grau, C., Kutz, O.: Modular Ontology Languages Revisited. In: Proc. of SWeCKa 2007 (2007)
Grau, B.C., Parsia, B., Sirin, E.: Working with Multiple Ontologies on the Semantic Web. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 620–634. Springer, Heidelberg (2004)
Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of abstract description systems. Artif. Intell. 156(1), 1–73 (2004)
Parsia, B., Grau, C.: Generalized Link Properties for Expressive epsilon-Connections of Description Logics. In: Proc. of AAAI 2005 (2005)
Santipantakis, G., Vouros, G.: \(E^{DDL}_{HQ^+}\mathcal{SHIQ}\) Representation framework. Technical Report (2011), http://ai-lab-webserver.aegean.gr/gsant/TechnicalReports.html
Schlicht, A., Stuckenschmidt, H.: MapResolve. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol. 6902, pp. 294–299. Springer, Heidelberg (2011)
Serafini, L., Borgida, A., Tamilin, A.: Aspects of distributed and modular ontology reasoning. In: Proc. of IJCAI 2005 (2005)
Serafini, L., Tamilin, A.: Distributed Instance Retrieval in Heterogeneous Ontologies. In: Proc. of the 2nd Italian Semantic Web Workshop (2005)
Vouros, G., et al.: A Semantic Information System for Services and Traded Resources in Grid e-Markets. FGCS 26(7), 916–933 (2010)
Wandelt, S., Müller, R.: Sound and Complete SHI Instance Retrieval for 1 Billion ABox Assertions. In: 10th Int. Semantic Web Conf. on Scalable Semantic Web Knowledge Base Systems Workshop (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Santipantakis, G.M., Vouros, G.A. (2012). Distributed Instance Retrieval in \(E^{DDL} _{HQ^+}\) \(\mathcal{SHIQ}\) Representation Framework. In: Maglogiannis, I., Plagianakos, V., Vlahavas, I. (eds) Artificial Intelligence: Theories and Applications. SETN 2012. Lecture Notes in Computer Science(), vol 7297. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30448-4_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-30448-4_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30447-7
Online ISBN: 978-3-642-30448-4
eBook Packages: Computer ScienceComputer Science (R0)