Abstract
Link keys are recently introduced to formalize data interlinking between data sources. They are considered as a new kind of correspondences included in ontology alignments. We propose a procedure for reasoning in a decentralized manner on a network of ontologies with alignments containing link keys. In this paper, the ontologies involved in such a network are expressed in the logic \(\mathcal {ALC}\) while the alignments can contain concept, individual and link key correspondences equipped with a loose semantics. The decentralized aspect of our procedure is based on a process of knowledge propagation through the network via correspondences. This process allows to reduce polynomially global reasoning to local reasoning.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
Consistency of the network can be reduced to the entailment (1) with \(\alpha =\bot (x)\).
- 2.
- 3.
References
Borgida, A., Serafini, L.: Distributed description logics: assimilating information from peer sources. J. Data Semant. (1), 153–184 (2003)
Grau, B.C., Parsia, B., Sirin, E.: Combining OWL ontologies using \(\cal{E}\)-connections. J. Web Semant. 4(1), 40–59 (2006)
Bao, J., Caragea, D., Honavar, V.G.: A distributed tableau algorithm for package-based description logics. In: Proceedings of the ECAI Workshop on on Context Representation and Reasoning (2006)
Zimmermann, A., Euzenat, J.: Three semantics for distributed systems and their relations with alignment composition. In: Cruz, I., et al. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 16–29. Springer, Heidelberg (2006). https://doi.org/10.1007/11926078_2
Zimmermann, A., Le Duc, C.: Reasoning with a network of aligned ontologies. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol. 5341, pp. 43–57. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-88737-9_5
Adjiman, P., Chatalic, P., Goasdoué, F., Rousset, M., Simon, L.: Distributed reasoning in a peer-to-peer setting: application to the semantic web. J. Artif. Intell. Res. 25, 269–314 (2006)
Atencia, M., David, J., Euzenat, J.: Data interlinking through robust linkkey extraction. In: Schaub, T., Friedrich, G., O’Sullivan, B., (eds.) Proceedings 21st European Conference on Artificial Intelligence (ECAI), Praha (CZ), Amsterdam (NL), pp. 15–20. IOS Press (2014)
Gmati, M., Atencia, M., Euzenat, J.: Tableau extensions for reasoning with link keys. In: Proceedings of the 11th International Workshop on Ontology Matching, Kobe, Japan, pp. 37–48 (2016)
Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: a pratical OWL-DL reasoner. J. Web Semant. 5(2), 51–53 (2007)
Serafini, L., Tamilin, A.: DRAGO: distributed reasoning architecture for the semantic web. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 361–376. Springer, Heidelberg (2005). https://doi.org/10.1007/11431053_25
Le Duc, C., Lamolle, M., Zimmermann, A., Curé, O.: DRAOn: a distributed reasoner for aligned ontologies. In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, 22 July 2013, pp. 81–86 (2013)
Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic \(\cal{SHIQ}\). In: McAllester, D. (ed.) CADE 2000. LNCS, vol. 1831, pp. 482–496. Springer, Heidelberg (2000). https://doi.org/10.1007/10721959_39
Shearer, R., Motik, B., Horrocks, I.: HermiT: a highly-efficient OWL reasoner. In: Ruttenberg, A., Sattler, U., Dolbear, C., (eds.) Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2008 EU), Karlsruhe, Germany, 26–27 October 2008
Liebig, T., Luther, M., Noppens, O., Wessel, M.: Owllink. Semant. Web 2(1), 23–32 (2011)
Acknowledgements
This work has been partially supported by the ANR project Elker (ANR-17-CE23-0007-01).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Lhez, J., Le Duc, C., Dong, T., Lamolle, M. (2019). Decentralized Reasoning on a Network of Aligned Ontologies with Link Keys. In: Ghidini, C., et al. The Semantic Web – ISWC 2019. ISWC 2019. Lecture Notes in Computer Science(), vol 11778. Springer, Cham. https://doi.org/10.1007/978-3-030-30793-6_24
Download citation
DOI: https://doi.org/10.1007/978-3-030-30793-6_24
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-30792-9
Online ISBN: 978-3-030-30793-6
eBook Packages: Computer ScienceComputer Science (R0)