[Profile picture of Ruben Verborgh]

Ruben Verborgh

Using Rule-Based Reasoning for RDF Validation

by Dörthe Arndt, Ben De Meester, Anastasia Dimou, Ruben Verborgh, and Erik Mannens

The success of the Semantic Web highly depends on its ingredients. If we want to fully realize the vision of a machine-readable Web, it is crucial that Linked Data are actually useful for machines consuming them. On this background it is not surprising that (Linked) Data validation is an ongoing research topic in the community. However, most approaches so far either do not consider reasoning, and thereby miss the chance of detecting implicit constraint violations, or they base themselves on a combination of different formalisms, e.g. Description Logics combined with SPARQL. In this paper, we propose using Rule-Based Web Logics for RDF validation focusing on the concepts needed to support the most common validation constraints, such as Scoped Negation As Failure (SNAF), and the predicates defined in the Rule Interchange Format (RIF). We prove the feasibility of the approach by providing an implementation in Notation3 Logic. As such, we show that rule logic can cover both validation and reasoning if it is expressive enough.

BibTeX Mendeley

Published in 2017 in Proceedings of the International Joint Conference on Rules and Reasoning.

Keywords: Notation3, validation, rules, reasoning, Linked Data, Semantic Web, SPARQL, Web, research

Read this article online

Cite this article in your publications

Use the BibTeX entry to easily refer to this article, or any of these snippets:

IEEE
D. Arndt, B. De Meester, A. Dimou, R. Verborgh, and E. Mannens, “Using Rule-Based Reasoning for RDF Validation,” in Proceedings of the International Joint Conference on Rules and Reasoning, 2017, vol. 10364, pp. 22–36.
ACM
Dörthe Arndt, Ben De Meester, Anastasia Dimou, Ruben Verborgh, and Erik Mannens. 2017. Using Rule-Based Reasoning for RDF Validation. In Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, & Dumitru Roman, eds. Proceedings of the International Joint Conference on Rules and Reasoning. Lecture Notes in Computer Science. Springer, 22–36.
LNCS
Arndt, D., De Meester, B., Dimou, A., Verborgh, R., Mannens, E.: Using Rule-Based Reasoning for RDF Validation. In: Costantini, S., Franconi, E., Van Woensel, W., Kontchakov, R., Sadri, F., and Roman, D. (eds.) Proceedings of the International Joint Conference on Rules and Reasoning. pp. 22–36. Springer (2017).
APA
Arndt, D., De Meester, B., Dimou, A., Verborgh, R., & Mannens, E. (2017). Using Rule-Based Reasoning for RDF Validation. In S. Costantini, E. Franconi, W. Van Woensel, R. Kontchakov, F. Sadri, & D. Roman (Eds.), Proceedings of the International Joint Conference on Rules and Reasoning (Vol. 10364, pp. 22–36). Springer.
MLA
Arndt, Dörthe et al. “Using Rule-Based Reasoning for RDF Validation.” Proceedings of the International Joint Conference on Rules and Reasoning. Ed. Stefania Costantini et al. Vol. 10364. Springer, 2017. 22–36. Print. Lecture Notes in Computer Science.

Discuss this article