[Profile picture of Ruben Verborgh]

Ruben Verborgh

Using Rule-Based Reasoning for RDF Validation

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:

ACM
Dörthe Arndt, Ben De Meester, Anastasia Dimou, Ruben Verborgh, and Erik Mannens. 2017. Using Rule-Based Reasoning for RDF Validation. In Proceedings of the International Joint Conference on Rules and Reasoning (Lecture Notes in Computer Science), Springer, 22–36.
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.
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.
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).
MLA
Arndt, Dörthe, et al. “Using Rule-Based Reasoning for RDF Validation.” Proceedings of the International Joint Conference on Rules and Reasoning, edited by Stefania Costantini et al., vol. 10364, Springer, 2017, pp. 22–36.

Discuss this article