Abstract
The Semantic Web contributes to the elicitation of knowledge from data, and leverages implicit knowledge through reasoning algorithms. The dynamic aspect of the Web pushes actual batch reasoning solutions, providing the best scalability so far, to upgrade towards incremental reasoning. This paradigm enables reasoners to handle new data as they arrive. In this paper we introduce Slider-p, an efficient incremental reasoner. It is designed to handle streaming expanding data with a growing background knowledge base. Directed reasoning implemented in Slider-p allows to influence the order of inferred triples. This feature, novel in the state of the art at the best of our knowledge, enables the adaptation of Slider-p’s behavior to answer at best queries as the reasoning process is not over. It natively supports \(\rho \)df and RDFS, and its architecture allows to extend it to more complex fragments with a minimal effort. Our experimentations show that it is able to influence the order of the inferred triples, prioritizing the inference of selected kinds of triples.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Barbieri, D.F., Braga, D., Ceri, S., Della Valle, E., Grossniklaus, M.: Incremental reasoning on streams and rich background knowledge. In: Aroyo, L., Antoniou, G., Hyvönen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010, Part I. LNCS, vol. 6088, pp. 1–15. Springer, Heidelberg (2010)
Bizer, C., Schultz, A.: The berlin sparql benchmark. Int. J. Semant. Web Inf. Syst. 5(3), 1–22 (2009)
Chevalier, J., Subercaze, J., Gravier, C., Laforest, F.: Slider: an efficient incremental reasoner. In: SIGMOD, pp. 1081–1086. ACM (2015)
Cuenca Grau, B., Halaschek-Wiener, C., Kazakov, Y.: History Matters: incremental ontology reasoning using modules. In: Aberer, K. (ed.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825, pp. 183–196. Springer, Heidelberg (2007)
Dean, J., Ghemawat, S.: MapReduce: simplified data processing on large clusters. Commun. ACM 51(1), 107–113 (2008)
Hoeksema, J., Kotoulas, S.: High-performance distributed stream reasoning using s4. In: ISWC (2011)
Jagadish, H., Agrawal, R., Ness, L.: A study of transitive closure as a recursion mechanism. In: SIGMOD (1987)
Kazakov, Y., Klinov, P.: Incremental reasoning in OWL EL without bookkeeping. In: Alani, H. (ed.) ISWC 2013, Part I. LNCS, vol. 8218, pp. 232–247. Springer, Heidelberg (2013)
Muñoz, S., Pérez, J., Gutierrez, C.: Minimal deductive systems for RDF. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 53–67. Springer, Heidelberg (2007)
Snasel, V., Moravec, P., Pokorny, J.: WordNet ontology based model for web retrieval. In: Web Information Retrieval and Integration (2005)
Urbani, J., Kotoulas, S., Maassen, J., van Harmelen, F., Bal, H.: OWL reasoning with WebPIE: calculating the closure of 100 billion triples. In: Aroyo, L., Antoniou, G., Hyvönen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010, Part I. LNCS, vol. 6088, pp. 213–227. Springer, Heidelberg (2010)
Acknowledgments
This work was funded by the French Fonds national pour la Société Numérique (FSN), and supported by Pôles Minalogic, Systematic and SCS, under the frame of the project OpenCloudware.
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
Chevalier, J., Subercaze, J., Gravier, C., Laforest, F. (2016). Incremental and Directed Rule-Based Inference on RDFS. In: Hartmann, S., Ma, H. (eds) Database and Expert Systems Applications. DEXA 2016. Lecture Notes in Computer Science(), vol 9828. Springer, Cham. https://doi.org/10.1007/978-3-319-44406-2_22
Download citation
DOI: https://doi.org/10.1007/978-3-319-44406-2_22
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-44405-5
Online ISBN: 978-3-319-44406-2
eBook Packages: Computer ScienceComputer Science (R0)