]> matita.cs.unibo.it Git - helm.git/blob - mathql/homepage/features.html
some patches. still does not compile properly
[helm.git] / 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>