Skip to main content
SpringerLink
Log in

Formal foundations for RDF/S KB evolution

  • Regular Paper
  • Published:
Knowledge and Information Systems Aims and scope Submit manuscript

Abstract

There are ongoing efforts to provide declarative formalisms of integrity constraints over RDF/S data. In this context, addressing the evolution of RDF/S knowledge bases while respecting associated constraints is a challenging issue, yet to receive a formal treatment. We provide a theoretical framework for dealing with both schema and data change requests. We define the notion of a rational change operator as one that satisfies the belief revision principles of Success, Validity and Minimal Change. The semantics of such an operator are subject to customization, by tuning the properties that a rational change should adhere to. We prove some interesting theoretical results and propose a general-purpose algorithm for implementing rational change operators in knowledge bases with integrity constraints, which allows us to handle uniformly any possible change request in a provably rational and consistent manner. Then, we apply our framework to a well-studied RDF/S variant, for which we suggest a specific notion of minimality. For efficiency purposes, we also describe specialized versions of the general evolution algorithm for the RDF/S case, which provably have the same semantics as the general-purpose one for a limited set of (useful in practice) types of change requests.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Afrati F, Kolaitis P (2009) Repair checking in inconsistent databases: algorithms and complexity. In: Proceedings of the 12th international conference on database theory (ICDT-09)

  2. Akhtar W, Cortés-Calabuig A, Paredaens J (2010) Constraints in rdf. In: Proceedings of the 4th international conference on semantics in data and knowledge bases, SDKB’10, pp 23–39

  3. Alexopoulos P, Wallace M, Kafentzis K, Askounis D (2011) Ikarus-onto: a methodology to develop fuzzy ontologies from crisp ones. Knowl Inf Syst 1–29. doi:10.1007/s10115-011-0457-6

  4. Arenas M, Bertossi L, Chomicki J (1999) Consistent query answers in inconsistent databases. In: Proceedings of the 18th ACM SIGMOD-SIGACT-SIGART symposium on principles of database systems (PODS-99), pp 68–79

  5. Bancilhon F, Spyratos N (1981) Update semantics of relational views. ACM Trans Database Syst (TODS) 6(4): 557–575

    Article  MATH  Google Scholar 

  6. Bechhofer S, Horrocks I, Goble C, Stevens R (2001) Oiled: a reason-able ontology editor for the semantic web. In: Proceedings of advances in AI: joint German/Austrian conference on AI

  7. Berners-lee T, Connolly D (2004) Delta: an ontology for the distribution of differences between rdf graphs. RDF Graphs, World Wide Web. http://www.w3.org/DesignIssues/Diff

  8. Bertossi L, Chomicki J (2003) Query answering in inconsistent databases. Semant Interoper Integr 35(2): 1–41

    Google Scholar 

  9. Bohannon P, Fan W, Flaster M, Rastogi R (2005) A cost-based model and effective heuristic for repairing constraints by value modification. In: Proceedings of the 2005 ACM SIGMOD international conference on management of data, pp 143–154

  10. Brickley D, Guha R (2004) df vocabulary description language 1.0: Rdf schema. www.w3.org/TR/2004/REC-rdf-schema-20040210

  11. Cali A, Gottlob G, Lukasiewicz T (2009) Datalog±: a unified approach to ontologies and integrity constraints. In: Proceedings of the international conference on database theory (ICDT-09)

  12. Calı A, Gottlob G, Pieris A (2010) Advanced processing for ontological queries. Proc VLDB Endow 3: 554–565

    Google Scholar 

  13. Chirkova R, Fletcher G (2009) Towards well-behaved schema evolution. In: 12th International workshop on the web and databases, WebDB

  14. Chomicki J, Marcinkowski J (2005) Minimal-change integrity maintenance using tuple deletions. Inf Comput 197(1/2): 90–121

    Article  MathSciNet  MATH  Google Scholar 

  15. Chomicki J, Marcinkowski J (2005) On the computational complexity of minimal-change integrity maintenance in relational databases. In: Bertossi L, Hunter A, Schaub T (eds) Inconsistency tolerance. LNCS, vol 3300. Springer, Heidelberg, pp 119–150

  16. Cong G, Fan W, Geerts F, Jia X, Ma S (2007) Improving data quality: consistency and accuracy. In: Proceedings of the 33rd international conference on very large data bases (VLDB-07)

  17. Dayal U, Bernstein P (1978) On the updatability of relational views. In: Proceedings of the 4th international conference on very large data bases, pp 368–377

  18. Dayal U, Bernstein P (1982) On the correct translation of update operations on relational views. ACM Trans Database Syst (TODS) 7(3): 381–416

    Article  MathSciNet  MATH  Google Scholar 

  19. De Giacomo G, Lenzerini M, Poggi A, Rosati R (2009) On instance-level update and erasure in description logic ontologies. J Logic Comput 19(5): 745–770

    Article  MathSciNet  MATH  Google Scholar 

  20. Deutsch A (2009) FOL modeling of integrity constraints (dependencies). In: Liu L, Özsu Tamer M (eds) Encyclopedia of database systems, vol 2009, Part 6. Springer, New York, pp 1155–1161

  21. Ding L, Finin T, Peng Y, Da Silva P, McGuinness D (2005) Tracking rdf graph provenance using rdf molecules. In: Proceedings of the 4th international semantic web conference (poster)

  22. Drabent W, Maluszynski J (2010) Hybrid rules with well-founded semantics. Knowl Inf Syst (KAIS) 25: 137–168

    Article  Google Scholar 

  23. Embury S, Brandt S, Robinson J, Sutherland I, Bisby F, Gray W, Jones A, White R (2001) Adapting integrity enforcement techniques for data reconciliation. Inf Syst 26(8): 657–689

    Article  MATH  Google Scholar 

  24. Fan W, Geerts F, Jia X (2008) A revival of integrity constraints for data cleaning. Proc VLDB Endow (PVLDB) 1(2): 1522–1523

    Google Scholar 

  25. Flouris G (2006) On belief change and ontology evolution. PhD thesis, University of Crete, Greece

  26. Flouris G (2007) On the evolution of ontological signatures. In: Proceedings of the workshop on ontology evolution

  27. Flouris G, Huang Z, Pan J, Plexousakis D, Wache H (2006) Inconsistencies, negations and changes in ontologies. In: Proceedings of the 21st national conference on artificial intelligence (AAAI-06), pp 1295–1300

  28. Flouris G, Manakanatas D, Kondylakis H, Plexousakis D, Antoniou G (2008) Ontology change: classification and survey. Knowl Eng Rev 23(2): 117–152

    Article  Google Scholar 

  29. Flouris G, Plexousakis D, Antoniou G (2005) On applying the agm theory to dls and owl. In: Proceedings of the 4th international semantic web conference (ISWC-05), pp 216–231

  30. Gabel T, Sure Y, Voelker J (2004) D3.1.1.a: Kaon-ontology management infrastructure. SEKT informal deliverable

  31. Gärdenfors P (1992) Belief revision. Cambridge University Press, chapter belief revision: an introduction, pp 1–28

  32. Groza T, Grimnes G, Handschuh S, Decker S (2011) From raw publications to linked data. Knowl Inf Syst 1–21. doi:10.1007/s10115-011-0473-6

  33. Gutierrez C, Hurtado C, Mendelzon A (2004) Foundations of semantic web databases. In: Proceedings of the 2004 ACM symposium on principles of database systems (PODS-04), pp 95–106

  34. Gutierrez C, Vaisman A, Hurtado C (2011) Rdfs update: from theory to practice. In: Proceedings of the extended semantic web conference, ESWC-11

  35. Haase P, Qi G (2007) An analysis of approaches to resolving inconsistencies in dl-based ontologies In: Proceedings of the international workshop on ontology dynamics (IWOD-07), pp 97–109

  36. Haase P, van Harmelen F, Huang Z, Stuckenschmidt H, Sure Y (2005) A framework for handling inconsistency in changing ontologies. In: Proceedings of the 4th international semantic web conference (ISWC-05), pp 353–367

  37. Keller A (1985) Algorithms for translating view updates to database updates for views involving selections, projections, and joins. In: PODS, Vol 85, pp 154–163

  38. Klein M, Noy N (2003) A component-based framework for ontology evolution. In: Proceedings of the workshop on ontologies and distributed systems

  39. Konstantinidis G (2008) Belief change in semantic web environments. Master’s thesis, University of Crete

  40. Konstantinidis G, Flouris G, Antoniou G, Christophides V (2008) A formal approach for rdf/s ontology evolution. In: Proceedings of the 18th European conference on artificial intelligence

  41. Kotidis Y, Srivastava D, Velegrakis Y (2006) Updates through views: a new hope. In: Proceedings of the 22nd international conference on data engineering (ICDE-06)

  42. Kotis K, Vouros A (2006) Human-centered ontology engineering: the hcome methodology. Knowl Inf Syst 10: 109–131

    Article  Google Scholar 

  43. Lausen G, Meier M, Schmidt M (2008) Sparqling constraints for rdf. In: Proceedings of 11th international conference on extending database technology (EDBT-08), pp 499–509

  44. Ludscher B, May W, Lausen G (1997) Referential actions as logical rules. In: Proceedings of the 16th ACM SIGMOD-SIGACT-SIGART symposium on principles of database systems (PODS-97)

  45. Lusch U, Rudolph S, Vrandecic D (2009) Tempus fugit—towards an ontology update language. In: Proceedings of the 6th European semantic web conference (ESWC-09), pp 278–292

  46. Magiridou M, Sahtouris S, Christophides V, Koubarakis M (2005) Rul: a declarative update language for rdf. In: Proceedings of the 4th international semantic web conference (ISWC-05)

  47. Manola F, Miller E, McBride B (2004) Rdf primer. www.w3.org/TR/rdf-primer

  48. Medeiros C, Tompa F (1986) Understanding the implications of view update policies. Algorithmica 1(1): 337–360

    Article  MathSciNet  Google Scholar 

  49. Motik B, Horrocks I, Sattler U (2007) Bridging the gap between owl and relational databases. In: Proceedings of 17th international World Wide Web conference (WWW-07), pp 807–816

  50. Noy N, Fergerson R, Musen M (2000) The knowledge model of protégé-2000: combining interoperability and flexibility. In: Proceedings of the 12th international conference on knowledge engineering and knowledge management (EKAW-00)

  51. On B-W, Lee I, Lee D (2011) Scalable clustering methods for the name disambiguation problem. Knowl Inf Syst 31: 1–23

    Google Scholar 

  52. Pan J, Horrocks I (2007) Rdfs(fa): connecting rdf(s) and owl dl. IEEE Trans Knowl Data Eng 19(2): 192–206

    Article  Google Scholar 

  53. Papavassiliou V, Flouris G, Fundulaki I, Kotzinos D, Christophides V (2009) On detecting high-level changes in rdf/s kbs. In: Proceedings of the 8th international semantic web conference (ISWC-09)

  54. Pérez J, Arenas M, Gutierrez C (2006) Semantics and complexity of sparql. In: Proceedings of the 5th international semantic web conference (ISWC-06), pp 30–43

  55. Serfiotis G, Koffina I, Christophides V, Tannen V (2005) Containment and minimization of rdf/s query patterns. In: Proceedings of the 4th international semantic web conference (ISWC-05)

  56. Shu H (2000) Using constraint satisfaction for view update. J Intell Inf Syst 15: 147–173

    Article  Google Scholar 

  57. Stojanovic L, Maedche A, Motik B, Stojanovic N (2002) User-driven ontology evolution management. In: Proceedings of the 13th European conference on knowledge engineering and knowledge management (EKAW-02)

  58. Stojanovic L, Motik B (2002) Ontology evolution within ontology editors. In: Proceedings of ontoWeb-SIG3 workshop

  59. Sure Y, Angele J, Staab S (2003) Ontoedit: multifaceted inferencing for ontology engineering. J Data Semant 1(1): 128–152

    Article  Google Scholar 

  60. Tao J, Sirin E, Bao J, McGuinness D (2010) Extending owl with integrity constraints. In: Proceedings of the 23rd international workshop on description logics (DL-10), CEUR-WS 573

  61. Umbrich J, Hausenblas M, Hogan A, Polleres A, Decker S (2010) Towards dataset dynamics: change frequency of linked open data sources. In: Proceedings of the WWW2010 workshop on linked data on the web (LDOW2010)

  62. Volkel M, Winkler W, Sure Y, Kruk S, Synak M (2005) Semversion: a versioning system for rdf and ontologies. In: Proceedings of the 2nd European semantic web conference (ESWC-05)

  63. Wang T (2006) Gauging ontologies and schemas by numbers. In: Proceedings of the 4th international EON workshop

  64. Zeginis D, Tzitzikas Y, Christophides V (2011) On computing deltas of RDF/S knowledge bases. ACM Trans Web 5(3). doi:10.1145/1993053.1993056

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, Foundation for Research and Technology-Hellas, Heraklion, Greece

    Giorgos Flouris, Grigoris Antoniou & Vassilis Christophides

  2. University of Southern California, Los Angeles, CA, USA

    George Konstantinidis

  3. University of Huddersfield, Huddersfield, UK

    Grigoris Antoniou

  4. University of Crete, Heraklion, Greece

    Vassilis Christophides

Authors
  1. Giorgos Flouris
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. George Konstantinidis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Grigoris Antoniou
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Vassilis Christophides
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Giorgos Flouris.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Flouris, G., Konstantinidis, G., Antoniou, G. et al. Formal foundations for RDF/S KB evolution. Knowl Inf Syst 35, 153–191 (2013). https://doi.org/10.1007/s10115-012-0500-2

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10115-012-0500-2

Keywords

Search

Navigation