X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fhomepage%2Ffeatures.html;fp=helm%2Fmathql%2Fhomepage%2Ffeatures.html;h=0000000000000000000000000000000000000000;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hp=12a6d7a501da0169e681022646f2d82b82c33921;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git diff --git a/helm/mathql/homepage/features.html b/helm/mathql/homepage/features.html deleted file mode 100644 index 12a6d7a50..000000000 --- a/helm/mathql/homepage/features.html +++ /dev/null @@ -1,166 +0,0 @@ - - - - MathQL - - - - - - - - - -

MathQL-1

- -

A query language for RDF metadata

- - - - - - - - - -
- - - -
    -
  • 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 - the 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.
    -
  • - -
- -
    -
  • Besides the syntax for queries, MathQL-1 provides a syntax - for query results with its own rigorously defined semantics.
    -
  • - -
-
- -
    -
  1. Exploitation of constructions borrowed from programming -languages to allow sophisticated queries that need computation over -the queried data. In particular:
    -
  2. - -
- -
-
    -
  • MathQL-1 supports variables for storing intermediate query - results, provides iterators over these results, has a conditional operator - and includes logging facilities for debugging purposes.
  • - -
-
-
-
-
-
- -