308Accesses
17Citations
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
Subscribe and save
- Get 10 units per month
- Download Article/Chapter or eBook
- 1 Unit = 1 Article or 1 Chapter
- Cancel anytime
Buy Now
Price includes VAT (Japan)
Instant access to the full article PDF.
Similar content being viewed by others
References
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)
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
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
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
Bancilhon F, Spyratos N (1981) Update semantics of relational views. ACM Trans Database Syst (TODS) 6(4): 557–575
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
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
Bertossi L, Chomicki J (2003) Query answering in inconsistent databases. Semant Interoper Integr 35(2): 1–41
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
Brickley D, Guha R (2004) df vocabulary description language 1.0: Rdf schema.www.w3.org/TR/2004/REC-rdf-schema-20040210
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)
Calı A, Gottlob G, Pieris A (2010) Advanced processing for ontological queries. Proc VLDB Endow 3: 554–565
Chirkova R, Fletcher G (2009) Towards well-behaved schema evolution. In: 12th International workshop on the web and databases, WebDB
Chomicki J, Marcinkowski J (2005) Minimal-change integrity maintenance using tuple deletions. Inf Comput 197(1/2): 90–121
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
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)
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
Dayal U, Bernstein P (1982) On the correct translation of update operations on relational views. ACM Trans Database Syst (TODS) 7(3): 381–416
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
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
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)
Drabent W, Maluszynski J (2010) Hybrid rules with well-founded semantics. Knowl Inf Syst (KAIS) 25: 137–168
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
Fan W, Geerts F, Jia X (2008) A revival of integrity constraints for data cleaning. Proc VLDB Endow (PVLDB) 1(2): 1522–1523
Flouris G (2006) On belief change and ontology evolution. PhD thesis, University of Crete, Greece
Flouris G (2007) On the evolution of ontological signatures. In: Proceedings of the workshop on ontology evolution
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
Flouris G, Manakanatas D, Kondylakis H, Plexousakis D, Antoniou G (2008) Ontology change: classification and survey. Knowl Eng Rev 23(2): 117–152
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
Gabel T, Sure Y, Voelker J (2004) D3.1.1.a: Kaon-ontology management infrastructure. SEKT informal deliverable
Gärdenfors P (1992) Belief revision. Cambridge University Press, chapter belief revision: an introduction, pp 1–28
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
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
Gutierrez C, Vaisman A, Hurtado C (2011) Rdfs update: from theory to practice. In: Proceedings of the extended semantic web conference, ESWC-11
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
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
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
Klein M, Noy N (2003) A component-based framework for ontology evolution. In: Proceedings of the workshop on ontologies and distributed systems
Konstantinidis G (2008) Belief change in semantic web environments. Master’s thesis, University of Crete
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
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)
Kotis K, Vouros A (2006) Human-centered ontology engineering: the hcome methodology. Knowl Inf Syst 10: 109–131
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
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)
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
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)
Manola F, Miller E, McBride B (2004) Rdf primer.www.w3.org/TR/rdf-primer
Medeiros C, Tompa F (1986) Understanding the implications of view update policies. Algorithmica 1(1): 337–360
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
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)
On B-W, Lee I, Lee D (2011) Scalable clustering methods for the name disambiguation problem. Knowl Inf Syst 31: 1–23
Pan J, Horrocks I (2007) Rdfs(fa): connecting rdf(s) and owl dl. IEEE Trans Knowl Data Eng 19(2): 192–206
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)
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
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)
Shu H (2000) Using constraint satisfaction for view update. J Intell Inf Syst 15: 147–173
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)
Stojanovic L, Motik B (2002) Ontology evolution within ontology editors. In: Proceedings of ontoWeb-SIG3 workshop
Sure Y, Angele J, Staab S (2003) Ontoedit: multifaceted inferencing for ontology engineering. J Data Semant 1(1): 128–152
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
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)
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)
Wang T (2006) Gauging ontologies and schemas by numbers. In: Proceedings of the 4th international EON workshop
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
Author information
Authors and Affiliations
Institute of Computer Science, Foundation for Research and Technology-Hellas, Heraklion, Greece
Giorgos Flouris, Grigoris Antoniou & Vassilis Christophides
University of Southern California, Los Angeles, CA, USA
George Konstantinidis
University of Huddersfield, Huddersfield, UK
Grigoris Antoniou
University of Crete, Heraklion, Greece
Vassilis Christophides
- Giorgos Flouris
You can also search for this author inPubMed Google Scholar
- George Konstantinidis
You can also search for this author inPubMed Google Scholar
- Grigoris Antoniou
You can also search for this author inPubMed Google Scholar
- Vassilis Christophides
You can also search for this author inPubMed Google Scholar
Corresponding author
Correspondence toGiorgos Flouris.
Rights 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 Syst35, 153–191 (2013). https://doi.org/10.1007/s10115-012-0500-2
Received:
Revised:
Accepted:
Published:
Issue Date:
Share this article
Anyone you share the following link with will be able to read this content:
Sorry, a shareable link is not currently available for this article.
Provided by the Springer Nature SharedIt content-sharing initiative