Formal foundations for RDF/S KB evolution

Knowledge and Information Systems

Volumn 35, Issue 1, 2013, Pages 153-191

  Flouris, Giorgos ^a   Konstantinidis, George ^b   Antoniou, Grigoris ^a,c   Christophides, Vassilis ^a,d  

^a INSTITUTE OF COMPUTER SCIENCE   (Greece)

^b UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

^c UNIVERSITY OF HUDDERSFIELD   (United Kingdom)

^d UNIVERSITY OF CRETE   (Greece)

Author keywords

Change operator; Curated KBs; Evolution in the presence of integrity constraints; Integrity constraints; Principle of Minimal Change; RDF S evolution

Indexed keywords

EVOLUTIONARY ALGORITHMS;

CHANGE OPERATORS; CURATED KBS; INTEGRITY CONSTRAINTS; PRINCIPLE OF MINIMAL CHANGE; RDF/S EVOLUTION;

SEMANTICS;

EID: 84875435264     PISSN: 02191377     EISSN: 02193116     Source Type: Journal    
DOI: 10.1007/s10115-012-0500-2     Document Type: Article

References (64)

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.
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.
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. Cali{dotless} A, Gottlob G, Pieris A (2010) Advanced processing for ontological queries. Proc VLDB Endow 3: 554-565.
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.
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.
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.
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.
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.
24. Fan W, Geerts F, Jia X (2008) A revival of integrity constraints for data cleaning. Proc VLDB Endow (PVLDB) 1(2): 1522-1523.
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.
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.
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.
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.
52. Pan J, Horrocks I (2007) Rdfs(fa): connecting rdf(s) and owl dl. IEEE Trans Knowl Data Eng 19(2): 192-206.
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.
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.
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.