Querying the Web Reconsidered: Design Principles for Versatile Web Query Languages

A decade of experience with research proposals as well as standardized query languages for the conventional Web and the recent emergence of query languages for the Semantic Web call for a reconsideration of design principles for Web and Semantic Web query languages. This chapter first argues that a new generation of versatile Web query languages is needed for solving the challenges posed by the changing Web: We call versatile those query languages able to cope with both Web and Semantic Web data expressed in any (Web or Semantic Web) markup language. This chapter further suggests that well-known referential transparency and novel answer-closedness are essential features of versatile query languages. Indeed, they allow queries to be considered like forms and answers like form-fillings in the spirit of the query-by-example paradigm. This chapter finally suggests that the decentralized and heterogeneous nature of the Web requires incomplete data specifications (or incomplete queries) and incomplete data selections (or incomplete answers); the form-like query can be specified without precise knowledge of the queried data, and answers can be restricted to contain only an excerpt of the queried data.

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

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

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

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

[5]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

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

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

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

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

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

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

[12]  Georg Gottlob,et al.  Hypertree decompositions and tractable queries , 1998, J. Comput. Syst. Sci..

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

[14]  Nicole Schweikardt,et al.  Comparing the Succinctness of Monadic Query Languages over Finite Trees , 2003, CSL.

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

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

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

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

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

[20]  S. Boag,et al.  XQuery 1.0 : An XML query language, W3C Working Draft 12 November 2003 , 2003 .

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

[22]  Dominic A. Orchard,et al.  XML Linking Language (XLink) Version 1. 0. World Wide Web Consortium, Proposed Recommendation PR - x , 2000 .

[23]  James A. Hendler,et al.  The Semantic Web: A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities , 2001 .

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

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

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

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

[28]  Jeremy J. Carroll,et al.  Resource description framework (rdf) concepts and abstract syntax , 2003 .

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

[30]  Alin Deutsch,et al.  A Query Language for XML , 1999, Comput. Networks.

[31]  José Júlio Alferes,et al.  Towards Generic Query, Update, and Event Languages for the Semantic Web , 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]  Scott Boag,et al.  XQuery 1.0 : An XML Query Language , 2007 .

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

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

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

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