Identification of Design Principles

This report identifies those design principles for a (possibly new) query and transformation language for the Web supporting inference that are considered essential. Based upon these design principles an initial strawman is selected. Scenarios for querying the Semantic Web illustrate the design principles and their reflection in the initial strawman, i.e., a first draft of the query language to be designed and implemented by the REWERSE working group I4.

[1]  Steven J. DeRose,et al.  XML Path Language (XPath) Version 1.0 , 1999 .

[2]  Nicole Schweikardt,et al.  Comparing the succinctness of monadic query languages over finite trees , 2004, RAIRO Theor. Informatics Appl..

[3]  Alin Deutsch,et al.  XML-QL: A Query Language for XML , 1998 .

[4]  Vassilis Christophides,et al.  RQL: A Functional Query Language for RDF , 2004 .

[5]  François Bry,et al.  A Visual Language for Web Querying and Reasoning , 2003, PPSWR.

[6]  Frank Olken,et al.  Requirements and Desiderata for an XML Query Language , 1998, QL.

[7]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[8]  Gio Wiederhold,et al.  Mediators in the architecture of future information systems , 1992, Computer.

[9]  Georg Gottlob,et al.  The complexity of XPath query evaluation , 2003, PODS.

[10]  James A. Hendler,et al.  A new form of Web content that is meaningful to computers will unleash a revolution of new possibili , 2002 .

[11]  Ur Informatik Temporal Constructs for a Web Language , 2003 .

[12]  Massimo Marchiori,et al.  Query + Metadata + Logic = Metalog , 1998, QL.

[13]  Wolfgang May,et al.  XPath-logic and XPathLog: A logic-programming style XML data manipulation language , 2003, Theory and Practice of Logic Programming.

[14]  Dan Brickley,et al.  The syntactic web , 2001 .

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

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

[17]  Tim Furche,et al.  Survey over Existing Query and Transformation Languages , 2004 .

[18]  Wlodzimierz Drabent,et al.  On Types for XML Query Language Xcerpt , 2003, PPSWR.

[19]  Michael Eckert,et al.  Reactivity on the web: paradigms and applications of the language XChange , 2005, SAC '05.

[20]  Moshé M. Zloof Query by example , 1975, AFIPS '75.

[21]  Steffen Staab,et al.  On2broker: Semantic-Based Access to Information Sources at the WWW , 1999, Intelligent Information Integration.

[22]  François Bry,et al.  On Reasoning on Time and Location on the Web , 2003, PPSWR.

[23]  François Bry,et al.  Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages , 2004, PPSWR.

[24]  Bruno Courcelle,et al.  Graph Rewriting: An Algebraic and Logic Approach , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[25]  Peter F. Patel-Schneider,et al.  The Yin/Yang web: XML syntax and RDF semantics , 2002, WWW '02.

[26]  François Bry,et al.  A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language , 2004, INAP/WLP.

[27]  Ashok K. Chandra,et al.  Optimal implementation of conjunctive queries in relational data bases , 1977, STOC '77.

[28]  Martín Abadi,et al.  Security analysis of cryptographically controlled access to XML documents , 2005, PODS '05.

[29]  J W Ballard,et al.  Data on the web? , 1995, Science.

[30]  Steven J. DeRose,et al.  Xml linking language (xlink), version 1. 0 , 2000, WWW 2000.

[31]  François Bry,et al.  On Subtyping of Tree-Structured Data: A Polynomial Approach , 2004, PPSWR.

[32]  Jörg Flum,et al.  Query evaluation via tree-decompositions , 2001, JACM.

[33]  Luc Segoufin,et al.  Typing and querying XML documents: some complexity bounds , 2003, PODS.

[34]  José Júlio Alferes,et al.  Towards Generic Query, Update, and Event Languages for the Semantic Web , 2004, PPSWR.

[35]  Jonathan The Syntactic Web Syntax and Semantics on the Web , 2001 .

[36]  Georg Gottlob,et al.  The Elog Web Extraction Language , 2001, LPAR.

[37]  Tim Furche,et al.  Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach , 2004, PPSWR.

[38]  Robert Parry,et al.  National Computer Conference: 4-7 May 1981 McCormick Place, Chicago, USA , 1981, Microprocess. Microsystems.

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

[40]  François Bry,et al.  Querying the Web Reconsidered: A Practical Introduction to Xcerpt , 2004, Extreme Markup Languages®.