Advertisement

RDFS Update: From Theory to Practice

  • Claudio Gutierrez
  • Carlos Hurtado
  • Alejandro Vaisman
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6644)

Abstract

There is a comprehensive body of theory studying updates and schema evolution of knowledge bases, ontologies, and in particular of RDFS. In this paper we turn these ideas into practice by presenting a feasible and practical procedure for updating RDFS. Along the lines of ontology evolution, we treat schema and instance updates separately, showing that RDFS instance updates are not only feasible, but also deterministic. For RDFS schema update, known to be intractable in the general abstract case, we show that it becomes feasible in real world datasets. We present for both, instance and schema update, simple and feasible algorithms.

Keywords

Description Logic Deductive System Ontology Evolution Proof Tree Blank Node 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    Arenas, M., Consens, M., Mallea, A.: Revisiting blank nodes in rdf to avoid the semantic mismatch with sparql. In: W3C Workshop: RDF Next Steps, Palo Alto, CA (2010)Google Scholar
  2. 2.
    Calvanese, D., Kharlamov, E., Nutt, W., Zheleznyakov, D.: Evolution of DLlite knowledge bases. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 112–128. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  3. 3.
    Chirkova, R., Fletcher, G.H.L.: Towards well-behaved schema evolution. In: WebDB (2009)Google Scholar
  4. 4.
    De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On instance-level update and erasure in description logic ontologies. J. Log. Comput. 19(5), 745–770 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Gutierrez, C., Hurtado, C.A., Mendelzon, A.O., Pérez, J.: Foundations of semantic web databases. Journal of Computer and System Sciences (JCSS) 77, 520–541 (2010) ; This is the Journal version of the paper with same title Presented at the PODS Conference Proc. PODS, pp. 95–106 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Gutiérrez, C., Hurtado, C.A., Vaisman, A.A.: The meaning of erasing in RDF under the katsuno-mendelzon approach. In: WebDB (2006)Google Scholar
  7. 7.
    Hayes, P. (ed.): RDF semantics. W3C Working Draft (October 1, 2003)Google Scholar
  8. 8.
    Katsuno, H., Mendelzon, A.O.: On the difference between updating knowledge base and revising it. In: International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA, pp. 387–394 (1991)Google Scholar
  9. 9.
    Konstantinidis, G., Flouris, G., Antoniou, G., Christophides, V.: A formal approach for RDF/S ontology evolution. In: ECAI, pp. 70–74 (2008)Google Scholar
  10. 10.
    Lin, H.-Y., Kuo, S.-Y., Yeh, F.-M.: Minimal cutset enumeration and network reliability evaluation by recursive merge and BDD. In: IEEE Symposium on Computers and Communications (ISCC 2003), Kiris-Kemer, Turkey, June 30 - July 3 (2003)Google Scholar
  11. 11.
    Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating description logic aboxes. In: KR, pp. 46–56 (2006)Google Scholar
  12. 12.
    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)CrossRefGoogle Scholar
  13. 13.
    Muñoz, S., Pérez, J., Gutierrez, C.: Minimal deductive systems for RDF. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 53–67. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  14. 14.
    Ognyanov, D., Kiryakov, A.: Tracking changes in RDF(S) repositories. In: Gómez-Pérez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS (LNAI), vol. 2473, pp. 373–378. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  15. 15.
    Sarkar, S., Ellis, H.C.: Five update operations for RDF. Rensselaer at Hartford Technical Report, RH-DOES-TR 03-04 (2003)Google Scholar
  16. 16.
    Winslett, M.: Reasoning about action using a possible models approach. In: AAAI, pp. 89–93 (1988)Google Scholar
  17. 17.
    WWW Consortium. SPARQL/Update: A language for updating RDF graphs (2008), http://www.w3.org/Submission/SPARQL-Update/
  18. 18.
    Zhan, Y.: Updating RDF. In: 21st Computer Science Conference, Rensselaer at Hartford (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Claudio Gutierrez
    • 1
  • Carlos Hurtado
    • 2
  • Alejandro Vaisman
    • 3
  1. 1.Computer Science DepartmentUniversidad de ChileChile
  2. 2.Universidad Adolfo IbañezChile
  3. 3.Universidad de la RepúblicaUruguay

Personalised recommendations