helm/mathql/homepage/features.html

   1 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
   2 <html>
   3 <head>
   4   <title>MathQL</title>
   5
   6   <meta http-equiv="content-type"
   7  content="text/html; charset=ISO-8859-1">
   8
   9   <meta name="author" content="Ferruccio Guidi">
  10
  11   <meta name="description" content="MathQL Home Page">
  12 </head>
  13   <body>
  14
  15 <h1 align="center">MathQL-1</h1>
  16
  17 <h2 align="center">A query language for RDF metadata</h2>
  18
  19 <table cellpadding="10" cellspacing="2" border="0" width="95%"
  20  bgcolor="#ffffff">
  21           <tbody>
  22             <tr>
  23               <td valign="top" align="left">
  24
  25       <ul>
  26                 <li><a href="index.html">Forward</a><br>
  27              </li>
  28
  29       </ul>
  30
  31       <ul>
  32               <li>Features</li>
  33
  34       </ul>
  35
  36       <ul>
  37               <li><a href="whatsnew.html">What's new</a></li>
  38
  39       </ul>
  40
  41       <ul>
  42          <li><a href="documentation.html">Documentation</a></li>
  43
  44       </ul>
  45
  46       <ul>
  47              <li><a href="implementation.html">Implementation</a><br>
  48              </li>
  49
  50       </ul>
  51
  52       <ul>
  53              <li><a href="authors.html">The authors</a><br>
  54              </li>
  55
  56       </ul>
  57
  58       <ul>
  59              <li><a href="links.html">Links</a><br>
  60              </li>
  61
  62       </ul>
  63            <br>
  64               </td>
  65               <td valign="top">
  66       <div align="right"><b>Goals &nbsp;and features</b><br>
  67            </div>
  68            <br>
  69      MathQL-1 is designed to achieve the following goals:<br>
  70
  71       <ol>
  72           <li>Exploitation of <a href="http://www.w3.org/RDF/">RDF</a> technology
  73  to manage metadata and <b>compliance with the main requirements</b> for
  74 an  RDF query language. In particular:</li>
  75
  76       </ol>
  77
  78       <blockquote>
  79         <ul>
  80             <li>MathQL-1 provides facilities for hierarchical constraints
  81 based on <a href="http://www.w3.org/TR/rdf-schema/">RDF Schema</a> and for
  82 traversal of compound values of properties.</li>
  83
  84         </ul>
  85
  86         <ul>
  87             <li>MathQL-1 provides a full set of Boolean operators to compose
  88  the query constraints and facilities for selecting URI's or literals by
  89 means  of regular expressions.</li>
  90
  91         </ul>
  92
  93         <ul>
  94             <li>MathQL-1 allows to customize the query results specifying
  95 what part of a solution should be preserved or discarded.</li>
  96
  97         </ul>
  98
  99         <ul>
 100             <li>MathQL-1 has a well-conceived semantics defined in term of
 101  an abstract metadata model, imposes that queries return exhaustive solutions
 102  and includes a "select-from-where"-like construction.</li>
 103
 104         </ul>
 105
 106         <ul>
 107             <li>MathQL-1 supports a machine-processable <a
 108  href="http://www.w3.org/XML/">XML</a> syntax as well as a human-readable
 109  textual syntax to achieve the best usability.<br>
 110             </li>
 111
 112         </ul>
 113         </blockquote>
 114
 115       <ol start="2">
 116           <li>Careful <b>treatment of query results</b> that are as important
 117  as the queries themselves. In particular:<br>
 118           </li>
 119
 120       </ol>
 121
 122       <blockquote>
 123         <ul>
 124             <li>MathQL-1 query results have a 4-dimensional geometry whereas
 125  other languages assume that query results are returned in 1-dimensional
 126 structures  (i.e. lists of resources) or 2-dimensional structures (i.e. relational
 127 database  tables). This allows to get better outcomes from queries returning
 128 structured  results.<br>
 129             </li>
 130
 131         </ul>
 132
 133         <ul>
 134             <li>Besides the syntax for queries, MathQL-1 provides a syntax
 135  for query results with its own rigorously defined semantics.<br>
 136             </li>
 137
 138         </ul>
 139         </blockquote>
 140
 141       <ol start="3">
 142           <li>Exploitation of <b>constructions borrowed from programming
 143 languages</b>  to allow sophisticated queries that need computation over
 144 the queried data.  In particular:<br>
 145           </li>
 146
 147       </ol>
 148
 149       <blockquote>
 150         <ul>
 151             <li>MathQL-1 supports variables for storing intermediate query
 152  results, provides iterators over these results, has a conditional operator
 153  and includes logging facilities for debugging purposes.</li>
 154
 155         </ul>
 156         </blockquote>
 157         </td>
 158       </tr>
 159
 160   </tbody>
 161 </table>
 162   <br>
 163   <br>
 164  <br>
 165 </body>
 166 </html>