Networked RDF graphs

Networked graphs are defined in this paper as a small syntactic extension of named graphs in RDF. They allow for the definition of a graph by explicitly listing triples as well as by SPARQL queries on one or multiple other graphs. By this extension it becomes possible to define a graph including a view onto other graphs and to define the meaning of a set of graphs by the way they reference each other. The semantics of networked graphs is defined by their mapping into logic programs. The expressiveness and computational complexity of networked graphs, varying by the set of constraints imposed on the underlying SPARQL queries, is investigated. We demonstrate the capabilities of networked graphs by a simple use case.

[1]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[2]  Andreas Winter,et al.  Metamodel-driven Service Interoperability , 2005 .

[3]  Benno Stein,et al.  Proceedings of the Second International Workshop on Text-Based Information Retrieval , 2005 .

[4]  Lutz Priese,et al.  Some Examples of Semi-rational and Non-semi-rational DAG Languages , 2006 .

[5]  Jos de Bruijn,et al.  Logical Reconstruction of Normative RDF , 2005, OWLED.

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

[7]  P. Bouquet,et al.  RDF and Contexts : Use of SPARQL and Named Graphs to Achieve Contextualization , 2006 .

[8]  Toshiaki Arai,et al.  Hybrid State Machines with Timed Synchronization for Multi-Robot System Specification , 2005, 2005 portuguese conference on artificial intelligence.

[9]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, SEMWEB.

[10]  Achim Rettinger,et al.  Intelligent exploration for genetic algorithms: using self-organizing maps in evolutionary computation , 2008, GECCO '05.

[11]  Marie-Laure Mugnier,et al.  Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics , 1998, KR.

[12]  Marion Langer,et al.  KI 2005 Workshop 7 Mixed-reality as a challenge to image understanding and artificial intelligence September 11 th , 2005 Koblenz , 2005 .

[13]  John S. Schlipf,et al.  Computing Well-founded Semantics Faster , 1995, LPNMR.

[14]  Jeremy J. Carroll,et al.  Named graphs, provenance and trust , 2005, WWW '05.

[15]  John F. Sowa,et al.  Knowledge Representation and Reasoning , 2000 .

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

[17]  Anastasia Meletiadou,et al.  Begriffsbestimmung und erwartete Trends im IT-Risk-Management , 2007 .

[18]  Jean H. Gallier,et al.  Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae , 1984, J. Log. Program..

[19]  Marcelo Arenas,et al.  Semantics and complexity of SPARQL , 2006, TODS.

[20]  Joachim Baumeister,et al.  Knowledge Engineering and Software Engineering , 2005 .

[21]  Vassilis Christophides,et al.  Viewing the Semantic Web through RVL Lenses , 2003, SEMWEB.

[22]  Georg Gottlob,et al.  Complexity and expressive power of logic programming , 2001, CSUR.

[23]  Stefan Decker,et al.  Semantic web methods for knowledge management , 2002 .

[24]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[25]  J. W. LLOYD,et al.  Making Prolog more Expressive , 1984, J. Log. Program..

[26]  Masaki Ogino,et al.  Getting closer: How Simulation and Humanoid League can benefit from each other , 2005, AMiRE.

[27]  Boris Motik,et al.  Can OWL and Logic Programming Live Together Happily Ever After? , 2006, International Semantic Web Conference.

[28]  Bernhard Beckert.  TABLEAUX 2005 Position Papers and Tutorial Descriptions , 2005 .

[29]  Oliver Obst,et al.  HTN Planning for Flexible Coordination Of Multiagent Team Behavior , 2005 .

[30]  Andreas von Hessling.  Semantic User Profiles and their Applications in a Mobile Environment , 2004 .

[31]  Frank van Harmelen,et al.  Contextualizing ontologies , 2004, J. Web Semant..

[32]  Jürgen Ebert,et al.  Web Engineering does profit from a Functional Approach , 2005 .

[33]  Stefan Decker,et al.  TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web , 2002, SEMWEB.

[34]  Daniel Oberle,et al.  Implementing views for light-weight Web ontologies , 2003, Seventh International Database Engineering and Applications Symposium, 2003. Proceedings..