Abstract
The Ontology Web Language (OWL) implicitly maps the interconnected ontologies by its mechanism of ontology importation and it uses a global view (global reasoning procedure) for their interpretation. In this paper, we generate explicit context mappings from these same heterogeneous and interconnected OWL ontologies to adopt local view interpretation. Each separate OWL ontology is transformed to be described by a Maude module based on the Rewriting Logic (RL) and internally it executes a local reasoning procedure developed with Maude itself as extension to standard Description Logic Tableau. The combination of these local reasoning Maude modules, creates a distributed reasoning system for the heterogeneous and contextualized OWL ontologies.
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
References
Borgida, A., Serafini, L.: Distributed description logics: assimilating information from peer sources. J. Data Semant. 1, 153–184 (2003)
Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., Stuckenschmidt, H.: C-OWL: contextualizing ontologies. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 164–179. Springer, Heidelberg (2003)
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C. (eds.): All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350, pp. 1–28. Springer, Heidelberg (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)
Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S. (eds.): OWL 2 Web Ontology Language: Primer. W3C (2009)
Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006). AAAI Press, pp. 57–67 (2006)
Horrocks, I., Sattler, U.: A tableau decision procedure for SHOIQ. J. Autom. Reasoning 39(39–3), 249–276 (2007)
Joseph, M., Kuper, G.M., Mossakowski, T., Serafini, L.: Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: decidable finite extension classes. Seman. Web 7(1), 25–61 (2016)
Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of abstract description systems. Artif. Intell. 156(1), 1–73 (2004)
Lutz, C., Milicic, M.: A tableau algorithm for DLs with concrete domains and GCIs. J. Autom. Reasoning 38(1–3), 227–259 (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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Bourahla, M. (2016). Distributed Reasoning for Mapped Ontologies Using Rewriting Logic. In: Bellatreche, L., Pastor, Ó., Almendros Jiménez, J., Aït-Ameur, Y. (eds) Model and Data Engineering. MEDI 2016. Lecture Notes in Computer Science(), vol 9893. Springer, Cham. https://doi.org/10.1007/978-3-319-45547-1_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-45547-1_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-45546-4
Online ISBN: 978-3-319-45547-1
eBook Packages: Computer ScienceComputer Science (R0)