X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fhomepage%2Ffeatures.html;h=e7ba6a0c7f4c2a302bad40f6ac6f5ac1efcbd83f;hb=6a8fc63882863bde9f3fcac3c12b968a78638ac9;hp=c0a9733bd16fb759f9a2f370fec85a2afe68f8f7;hpb=e4fed32b1519f436de9ca84c3c9c67e1530808b6;p=helm.git diff --git a/helm/mathql/homepage/features.html b/helm/mathql/homepage/features.html index c0a9733bd..e7ba6a0c7 100644 --- a/helm/mathql/homepage/features.html +++ b/helm/mathql/homepage/features.html @@ -2,75 +2,135 @@ MathQL - + - + - + - +

MathQL-1

- +

A query language for RDF metadata

- + - - - + + + - - - - + + + +
    +
  1. Exploitation of constructions borrowed from programming languages +to allow sophisticated queries that need computation over the queried data. +In particular:
    +
  2. +
+
+ +
+ + +
- +
+ + +
    +
  • Features
  • + +
+ + - + - -
+
Goals  and features
+
+
+ MathQL-1 is designed to achieve the following goals:
+
    +
  1. Exploitation of RDF technology +to manage metadata and compliance with the main requirements for an +RDF query language. In particular:
  2. +
+
+
    +
  • MathQL-1 provides facilities for hierarchical constraints based +on RDF Schema and for traversal +of compound values of properties.
  • +
+
    +
  • MathQL-1 provides a full set of Boolean operators to compose +query constraints and facilities for selecting URI's or literals by means +of regular expressions.
  • +
+
    +
  • MathQL-1 allows to customize the query results specifying what +part of a solution should be preserved or discarded.
  • +
+
    +
  • MathQL-1 has a well-conceived semantics defined in term of +an abstract metadata model, imposes that queries return exhaustive solutions +and includes a "select-from-where"-like construction.
  • +
+
    +
  • MathQL-1 supports a machine-processable XML syntax as well as a human-readable +textual syntax to achieve the best usability.
  • - -
- - +
+
    +
  1. Careful treatment of query results that are as important +as the queries themselves. In particular:
    +
  2. +
+
+
    +
  • MathQL-1 query results have a 4-dimensional geometry whereas +other languages assume that query results are returned in 1-dimensional structures +(ie lists of resources) or 2-dimensional structures (ie relational database +tables). This allows to get better outcomes from queries returning structured +results.
  • - -
-
-
-
Features
-
-
-  
-
-
-
-
-
-
+