[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 other citation formats

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

Keywords:

Read this article online

Cite this article in your work

Cite this article easily using its BibTeX entry:

@inproceedings{arndt_rulemlrr_2017,
  author = {Arndt, D\"orthe and De Meester, Ben and Dimou, Anastasia and Verborgh, Ruben and Mannens, Erik},
  title = {Using Rule-Based Reasoning for {RDF} Validation},
  booktitle = {Proceedings of the International Joint Conference on Rules and Reasoning},
  editor = {Costantini, Stefania and Franconi, Enrico and Van Woensel, William and Kontchakov, Roman and Sadri, Fariba and Roman, Dumitru},
  year = 2017,
  month = jul,
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  volume = 10364,
  pages = {22--36},
  isbn = {978-3-319-61252-2},
  doi = {10.1007/978-3-319-61252-2_3},
}

Alternatively, pick a reference of your choice below:

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