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
  67       <div align="right"><b>Goals &nbsp;and features</b><br>
  68             </div>
  69             <br>
  70       MathQL-1 is designed to achieve the following goals:<br>
  71
  72       <ol>
  73            <li>Exploitation of <a href="http://www.w3.org/RDF/">RDF</a> technology
  74  to manage metadata and <b>compliance with the main requirements</b> for an
  75  RDF query language. In particular:</li>
  76
  77       </ol>
  78
  79       <blockquote>
  80         <ul>
  81              <li>MathQL-1 provides facilities for hierarchical constraints
  82  based on <a href="http://www.w3.org/TR/rdf-schema/">RDF Schema</a> and for
  83  traversal of compound values of properties.</li>
  84
  85         </ul>
  86
  87         <ul>
  88              <li>MathQL-1 provides a full set of Boolean operators to compose
  89  the query constraints and facilities for selecting URI's or literals by means
  90  of regular expressions.</li>
  91
  92         </ul>
  93
  94         <ul>
  95              <li>MathQL-1 allows to customize the query results specifying
  96  what part of a solution should be preserved or discarded.</li>
  97
  98         </ul>
  99
 100         <ul>
 101              <li>MathQL-1 has a well-conceived semantics defined in term
 102 of  an abstract metadata model, imposes that queries return exhaustive solutions
 103  and includes a "select-from-where"-like construction.</li>
 104
 105         </ul>
 106
 107         <ul>
 108              <li>MathQL-1 supports a machine-processable <a
 109  href="http://www.w3.org/XML/">XML</a> syntax as well as a human-readable
 110  textual syntax to achieve the best usability.<br>
 111              </li>
 112
 113         </ul>
 114          </blockquote>
 115
 116       <ol start="2">
 117            <li>Careful <b>treatment of query results</b> that are as important
 118  as the queries themselves. In particular:<br>
 119            </li>
 120
 121       </ol>
 122
 123       <blockquote>
 124         <ul>
 125              <li>MathQL-1 query results have a 4-dimensional geometry whereas
 126  other languages assume that query results are returned in 1-dimensional structures
 127  (i.e. lists of resources) or 2-dimensional structures (i.e. relational database
 128  tables). This allows to get better outcomes from queries returning structured
 129  results.<br>
 130              </li>
 131
 132         </ul>
 133
 134         <ul>
 135              <li>Besides the syntax for queries, MathQL-1 provides a syntax
 136  for query results with its own rigorously defined semantics.<br>
 137              </li>
 138
 139         </ul>
 140          </blockquote>
 141
 142       <ol start="3">
 143            <li>Exploitation of <b>constructions borrowed from programming
 144 languages</b>  to allow sophisticated queries that need computation over the
 145 queried data.  In particular:<br>
 146            </li>
 147
 148       </ol>
 149
 150       <blockquote>
 151         <ul>
 152              <li>MathQL-1 supports variables for storing intermediate query
 153  results, provides iterators over these results, has a conditional operator
 154  and includes logging facilities for debugging purposes.</li>
 155
 156         </ul>
 157          </blockquote>
 158          </td>
 159        </tr>
 160
 161   </tbody>
 162 </table>
 163    <br>
 164 </body>
 165 </html>