RDF Updates with Constraints

  • Mirian Halfeld-Ferrari
  • Carmem S. Hara
  • Flavio R. UberEmail author
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 786)


This paper deals with the problem of updating an RDF database, expected to satisfy user-defined constraints as well as RDF intrinsic semantic constraints. As updates may violate these constraints, side-effects are generated in order to preserve consistency. We investigate the use of nulls (blank nodes) as placeholders for unknown required data as a technique to provide this consistency and to reduce the number of side-effects. Experimental results validate our goals.


RDF RDFS Constraints Updates 



This work is partially funded by APR-IA Girafon and PEPS-INS2I Multipoint.


  1. 1.
    Afrati, F.N., Kolaitis, P.G.: Repair checking in inconsistent databases: algorithms and complexity. In: Proceedings of the International Conference on Database Theory, pp. 31–41 (2009)Google Scholar
  2. 2.
    Ahmeti, A., Calvanese, D., Polleres, A., Savenkov, V.: Dealing with inconsistencies due to class disjointness in SPARQL update. In: Proceedings of the 28th International Workshop on Description Logics (2015)Google Scholar
  3. 3.
    Ahmeti, A., Calvanese, D., Polleres, A., Savenkov, V.: Handling inconsistencies due to class disjointness in SPARQL updates. In: Sack, H., Blomqvist, E., d’Aquin, M., Ghidini, C., Ponzetto, S.P., Lange, C. (eds.) ESWC 2016. LNCS, vol. 9678, pp. 387–404. Springer, Cham (2016). doi: 10.1007/978-3-319-34129-3_24 CrossRefGoogle Scholar
  4. 4.
    Arenas, M., Barceló, P., Libkin, L., Murlak, F.: Foundations of Data Exchange. Cambridge University Press, Cambridge (2014)zbMATHGoogle Scholar
  5. 5.
    Bizer, C., Schultz, A.: The Berlin SPARQL benchmark. Int. J. Semant. Web Inf. Syst. 5(2), 1–24 (2009)CrossRefGoogle Scholar
  6. 6.
    Calì, A., Gottlob, G., Kifer, M.: Taming the infinite chase: query answering under expressive relational constraints. In: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning, pp. 70–80 (2008)Google Scholar
  7. 7.
    Chabin, J., Halfeld-Ferrari, M., Nguyen, T.B.: Querying semantic graph databases in view of constraints and provenance. Technical report, LIFO- Université d’Orléans, RR-2016-02 (2016)Google Scholar
  8. 8.
    Flouris, G., Konstantinidis, G., Antoniou, G., Christophides, V.: Formal foundations for RDF/S KB evolution. Knowl. Inf. Syst. 35(1), 153–191 (2013)CrossRefGoogle Scholar
  9. 9.
    Frommhold, M., Piris, R.N., Arndt, N., Tramp, S., Petersen, N., Martin, M.: Towards versioning of arbitrary RDF data. In: Proceedings of the 12th International Conference on Semantic Systems (2016)Google Scholar
  10. 10.
    Guo, Y., Pan, Z., Heflin, J.: LUBM: a benchmark for OWL knowledge base systems. Web Semant. 3(2–3), 158–182 (2005)CrossRefGoogle Scholar
  11. 11.
    Halfeld-Ferrari, M., Laurent, D., Spyratos, N.: Update rules in datalog programs. J. Log. Comput. 8(6), 745–775 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Hansson, S.O.: Logic of belief revision. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, 2016 edn. Metaphysics Research Lab. Stanford University (2016). WinterGoogle Scholar
  13. 13.
    Knublauch, H., Ryman, A.: Shapes constraint language (SHACL). W3C first public working draft, w3c (2017).
  14. 14.
    Liu, L., Özsu, M.T. (eds.): Encyclopedia of Database Systems. Springer, US (2009)zbMATHGoogle Scholar
  15. 15.
    Magiridou, M., Sahtouris, S., Christophides, V., Koubarakis, M.: RUL: a declarative update language for RDF. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 506–521. Springer, Heidelberg (2005). doi: 10.1007/11574620_37 CrossRefGoogle Scholar
  16. 16.
    Solbrig, H., Hommeaux, E.P.: Shape expressions 1.0 definition. W3C member submission (2014).
  17. 17.
    Stardog5: Enterprise knowledge graph (2017).
  18. 18.
    Uber, F.: RDF constraint satisfaction with blank nodes. Ph.D. dissertation Proposal, UFPR, Brazil (2016).

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Mirian Halfeld-Ferrari
    • 1
  • Carmem S. Hara
    • 2
  • Flavio R. Uber
    • 2
    • 3
    Email author
  1. 1.Université d’Orléans, INSA CVL, LIFO EA 4022OrléansFrance
  2. 2.Universidade Federal do ParanáCuritibaBrazil
  3. 3.Universidade Estadual de MaringáMaringáBrazil

Personalised recommendations