Skip to main content

Incremental Validation of RDF Graphs

  • Conference paper
  • First Online:
Book cover Web Information Systems and Applications (WISA 2021)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 12999))

Included in the following conference series:

Abstract

With the scale of RDF graph data dramatically increasing, the demands for specifying constraints on RDF graphs and detecting violations of such constraints become urgent. Recently, the validation of RDF graphs has been attracting increasing research efforts, among which ShEx (Shape Expressions) and SHACL (Shapes Constraint Language) are widely used. However, incremental validation of RDF graphs still needs further study. To this end, we propose an incremental validation method of RDF graphs. Our method differentiates the types of constraint, adjusts the order of schema validation, and validates RDF graphs from a graph theory perspective as well as incrementally validates RDF graphs updates. The experimental results show that the incremental validation method proposed in this paper improves the efficiency of the validation of knowledge graphs updates.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 89.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 119.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Yun, H., He, Y., Lin, L., Pan, Z., Zhang, X.: Construction research and application of poverty alleviation knowledge graph. In: Ni, W., Wang, X., Song, W., Li, Y. (eds.) WISA 2019. LNCS, vol. 11817, pp. 430–442. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-30952-7_42

    Chapter  Google Scholar 

  2. Sheng, M., et al.: DSQA: a domain specific QA system for smart health based on knowledge graph. In: Wang, G., Lin, X., Hendler, J., Song, W., Xu, Z., Liu, G. (eds.) WISA 2020. LNCS, vol. 12432, pp. 215–222. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-60029-7_20

    Chapter  Google Scholar 

  3. World Wide Web Consortium, et al.: RDF 1.1 concepts and abstract syntax (2014)

    Google Scholar 

  4. Thompson, H.S., Mendelsohn, N., Beech, D., Maloney, M.: W3C xml schema definition language (xsd) 1.1 part 1: Structures. The World Wide Web Consortium (W3C), W3C Working Draft, December 3 (2009)

    Google Scholar 

  5. Wusteman, J.: Document type definition (DTD). Marcia J. Bates, 1640–1647 (2010)

    Google Scholar 

  6. Knublauch, H., Kontokostas, D.: Shapes constraint language (SHACL). W3C Candidate Recommendation 11(8) (2017)

    Google Scholar 

  7. Bouchou, B., Alves, M.H.F.: Updates and incremental validation of XML documents. In: Lausen, G., Suciu, D. (eds.) DBPL 2003. LNCS, vol. 2921, pp. 216–232. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24607-7_14

    Chapter  Google Scholar 

  8. Bouchou, B., Alves, M.H.F., Laurent, D., Duarte, D.: Extending tree automata to model XML validation under element and attribute constraints. In: ICEIS, vol. 1, pp. 184–190 (2003)

    Google Scholar 

  9. Neven, F.: Automata, logic, and XML. In: Bradfield, J. (ed.) CSL 2002. LNCS, vol. 2471, pp. 2–26. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45793-3_2

    Chapter  MATH  Google Scholar 

  10. Papakonstantinou, Y., Vianu, V.: Incremental validation of XML documents. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol. 2572, pp. 47–63. Springer, Heidelberg (2003). https://doi.org/10.1007/3-540-36285-1_4

    Chapter  Google Scholar 

  11. Boneva, I., Gayo, J.E.L., Hym, S., Prud’hommeau, E.G., Solbrig, H.R., Staworko, S.: Validating RDF with shape expressions. CoRR, abs/1404.1270 (2014)

    Google Scholar 

  12. Prud’hommeaux, E., Labra Gayo, J.E., Solbrig, H.: Shape expressions: an RDF validation and transformation language. In: Proceedings of the 10th International Conference on Semantic Systems, pp. 32–40 (2014)

    Google Scholar 

  13. Corman, J., Reutter, J.L., Savković, O.: Semantics and validation of recursive SHACL. In: Vrandečić, D., et al. (eds.) ISWC 2018. LNCS, vol. 11136, pp. 318–336. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00671-6_19

    Chapter  Google Scholar 

  14. Andresel, M., Corman, J., Ortiz, M., Reutter, J.L., Simkus, M.: Stable model semantics for recursive SHACL. In: WWW 2020: The Web Conference 2020 (2020)

    Google Scholar 

  15. Corman, J., Florenzano, F., Reutter, J.L., Savković, O.: Validating Shacl Constraints over a Sparql Endpoint. In: Ghidini, C., et al. (eds.) ISWC 2019. LNCS, vol. 11778, pp. 145–163. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-30793-6_9

    Chapter  Google Scholar 

  16. Corman, J., Florenzano, F., Reutter, J.L., Savkovic, O.: SHACL2SPARQL: validating a SPARQL endpoint against recursive SHACL constraints. In: ISWC Satellites, pp. 165–168 (2019)

    Google Scholar 

  17. Auer, S., Bizer, C., Kobilarov, G., Lehmann, J., Cyganiak, R., Ives, Z.: DBpedia: a nucleus for a web of open data. In: Aberer, K., et al. (eds.) ASWC/ISWC -2007. LNCS, vol. 4825, pp. 722–735. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-76298-0_52

    Chapter  Google Scholar 

  18. Li, W., Chai, L., Yang, C., Wang, X.: An evolutionary analysis of DBpedia datasets. In: Meng, X., Li, R., Wang, K., Niu, B., Wang, X., Zhao, G. (eds.) WISA 2018. LNCS, vol. 11242, pp. 317–329. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-02934-0_30

    Chapter  Google Scholar 

Download references

Acknowledgments

This work is supported by National Natural Science Foundation of China (61972275).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Xin Wang .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Wang, Y., Wang, X., Liu, B. (2021). Incremental Validation of RDF Graphs. In: Xing, C., Fu, X., Zhang, Y., Zhang, G., Borjigin, C. (eds) Web Information Systems and Applications. WISA 2021. Lecture Notes in Computer Science(), vol 12999. Springer, Cham. https://doi.org/10.1007/978-3-030-87571-8_31

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-87571-8_31

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-87570-1

  • Online ISBN: 978-3-030-87571-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics