On Computing Deltas of RDF/S Knowledge Bases

The ability to compute the differences that exist between two RDF/S Knowledge Bases (KB) is an important step to cope with the evolving nature of the Semantic Web (SW). In particular, RDF/S deltas can be employed to reduce the amount of data that need to be exchanged and managed over the network in order to build SW synchronization and versioning services. By considering deltas as sets of change operations, in this article we introduce various RDF/S differential functions which take into account inferred knowledge from an RDF/S knowledge base. We first study their correctness in transforming a source to a target RDF/S knowledge base in conjunction with the semantics of the employed change operations (i.e., with or without side-effects on inferred knowledge). Then we formally analyze desired properties of RDF/S deltas such as size minimality, semantic identity, redundancy elimination, reversibility, and composability, as well as identify those RDF/S differential functions that satisfy them. Subsequently, we experimentally evaluate the computing time and size of the produced deltas over real and synthetic RDF/S knowledge bases.

[1]  Soeren Auer,et al.  Powl - A Web Based Platform for Collaborative Semantic Web Development , 2005 .

[2]  York Sure,et al.  SemVersion: A Versioning System for RDF and Ontologies , 2005 .

[3]  Michel C. A. Klein,et al.  Tracking Changes During Ontology Evolution , 2004, SEMWEB.

[4]  Carlo Zaniolo,et al.  Efficient Management of Multiversion Documents by Object Referencing , 2001, VLDB.

[5]  Andrew Tridgell,et al.  Efficient Algorithms for Sorting and Synchronization , 1999 .

[6]  Yannis Tzitzikas,et al.  (Semantic web) evolution through change logs: Problems and solutions , 2007, Artificial Intelligence and Applications.

[7]  Vassilis Christophides,et al.  On labeling schemes for the semantic web , 2003, WWW '03.

[8]  Mark A. Musen,et al.  Promptdiff: a fixed-point algorithm for comparing ontology versions , 2002, AAAI/IAAI.

[9]  Zhao Yan,et al.  Data Migration for Ontology Evolution , 2004 .

[10]  Alfred V. Aho,et al.  The Transitive Reduction of a Directed Graph , 1972, SIAM J. Comput..

[11]  Alberto O. Mendelzon,et al.  Foundations of semantic web databases , 2004, PODS.

[12]  Serge Abiteboul,et al.  Detecting changes in XML documents , 2002, Proceedings 18th International Conference on Data Engineering.

[13]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[14]  Peter Gärdenfors,et al.  Belief Revision: Contents , 1992 .

[15]  Sébastien Konieczny,et al.  Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory , 2005, Eur. J. Oper. Res..

[16]  Mihalis Yannakakis,et al.  The input/output complexity of transitive closure , 2005, Annals of Mathematics and Artificial Intelligence.

[17]  Vassilis Christophides,et al.  On the Foundations of Computing Deltas Between RDF Models , 2007, ISWC/ASWC.

[18]  Esko Nuutila,et al.  Efficient transitive closure computation in large digraphs , 1995 .

[19]  Vassilis Christophides,et al.  RUL: A Declarative Update Language for RDF , 2005, SEMWEB.

[20]  PETER GÄRDENFORS,et al.  Belief Revision: Belief revision: An introduction , 2003 .

[21]  G. Flouris,et al.  On belief change and ontology evolution , 2006 .

[22]  Tim Berners-Lee,et al.  Delta: an ontology for the distribution of differences between RDF graphs , 2004 .

[23]  Peter Dadam,et al.  Integration of Time Versions into a Relational Database System , 1984, VLDB.

[24]  Mark A. Musen,et al.  A Framework for Ontology Evolution in Collaborative Environments , 2006, SEMWEB.

[25]  Jeremy J. Carroll,et al.  Matching RDF Graphs , 2002, SEMWEB.

[26]  Vassilis Christophides,et al.  On the Synthetic Generation of Semantic Web Schemas , 2008, SWDB-ODBIS.

[27]  Dan Brickley,et al.  Rdf vocabulary description language 1.0 : Rdf schema , 2004 .

[28]  Jan van Leeuwen,et al.  Maintenance of Transitive Closures and Transitive Reductions of Graphs , 1987, WG.

[29]  Sachin Agarwal,et al.  On the scalability of data synchronization protocols for PDAs and mobile devices , 2002, IEEE Netw..

[30]  Vassilis Christophides,et al.  Ieee Transactions on Knowledge and Data Engineering on Graph Features of Semantic Web Schemas , 2022 .

[31]  Olga De Troyer,et al.  Ontology Change Detection Using a Version Log , 2005, SEMWEB.

[32]  Francesco Piazza,et al.  Signing individual fragments of an RDF graph , 2005, WWW '05.

[33]  Reidar Conradi,et al.  Version models for software configuration management , 1998, CSUR.

[34]  Francesco Piazza,et al.  RDFGrowth, a P2P annotation exchange algorithm for scalable Semantic Web applications , 2004, P2PKM.

[35]  TzitzikasYannis,et al.  On Computing Deltas of RDF/S Knowledge Bases , 2011 .

[36]  Yaron Minsky,et al.  Set reconciliation with nearly optimal communication complexity , 2003, IEEE Trans. Inf. Theory.

[37]  Martin Doerr,et al.  Issues in an inference platform for generating deductive knowledge: a case study in cultural heritage digital libraries using the CIDOC CRM , 2008, International Journal on Digital Libraries.

[38]  Vassilis Christophides,et al.  Benchmarking Database Representations of RDF/S Stores , 2005, SEMWEB.

[39]  Natalya F. Noy,et al.  A Component-Based Framework For Ontology Evolution , 2003 .

[40]  Vassilis Christophides,et al.  A Formal Approach for RDF/S Ontology Evolution , 2008, ECAI.

[41]  Amélie Marian,et al.  Change-Centric Management of Versions in an XML Warehouse , 2001, VLDB.

[42]  Walter F. Tichy,et al.  Rcs — a system for version control , 1985, Softw. Pract. Exp..

[43]  Brian Berliner,et al.  CVS II: Parallelizing Software Dev elopment , 1998 .

[44]  G. Konstantinidis.  Ontology Evolution : A Framework and its Application to RDF , 2007 .

[45]  Michel C. A. Klein,et al.  Ontology Versioning and Change Detection on the Web , 2002, EKAW.

[46]  Stephen Warshall,et al.  A Theorem on Boolean Matrices , 1962, JACM.

[47]  Deborah L. McGuinness,et al.  Tracking RDF Graph Provenance using RDF Molecules , 2005 .

[48]  Jeff Heflin,et al.  Coping with Changing Ontologies in a Distributed Environment , 1999 .

[49]  Mark A. Musen,et al.  Ontology versioning in an ontology management framework , 2004, IEEE Intelligent Systems.