constant string quoting was fixed

[helm.git] / helm / mathql / grammar.txt

diff --git a/helm/mathql/grammar.txt b/helm/mathql/grammar.txt
index 877bd075fddc85f7955296612a7f388eacb2e53b..4f2ff8c76af8543080b0ed5b08b9cceb7006f249 100644 (file)
--- a/helm/mathql/grammar.txt
+++ b/helm/mathql/grammar.txt
@@ -34,20 +34,20 @@ MATHEMATICAL QUERY LANGUAGE (MathQL)
        |  FALSE                                (* falso *)
        |  <string> IS <string>                 (* case sensitive matching *)
        
-<pattern> := <quoted-constant-string>          (* pattern costante *)
+<pattern> := <"-quoted-constant-string>        (* pattern costante *)
           
-<string> := <quoted-constant-string>           (* costante letterale *)
+<string> := <'-quoted-constant-string>         (* costante letterale *)
          |  CONCLUSION | HYPOTHESIS | BODY     (* costanti simboliche *)
          |  MAINCONCLUSION | MAINHYPOTHESIS
          |  <rvar>                             (* variabile *)
         |  <svar>                             (* variabile *)
         |  <function> <rvar>                  (* applicazione di funzione *)
         
-<function> := NAME                            (* rvar -> nome_oggetto *)
+<function> := NAME                            (* URIREF -> nome_oggetto *)
           |  <property>
 
-<property> := THEORY                           (* URI -> valore_Proprieta' *)
-           |  TITLE                           (* URI -> valore_Prop_DC *)
+<property> := THEORY                           (* URIREF -> valore_Proprieta' *)
+           |  TITLE                           (* URIREF -> valore_Prop_DC *)
            |  CONTRIBUTOR
            |  CREATOR
            |  PUBLISHER
@@ -81,8 +81,9 @@ MATHEMATICAL QUERY LANGUAGE (MathQL)
 
 - le stringhe sono "case sensitive" 
 - la funzione non definita sull'argomento restituisce la stringa nulla
-- le <rvar> si presuppongono essere istanziate come URI complete o
-  URI#xpointer_expression e identificano risorse 
+- le <rvar> si presuppongono essere istanziate come URI references costituite
+  da un URI e da un fragment identifier opzionalecomplete; esse identificano 
+  risorse 
 - ogni binding lega una variabile libera (nuova) 
 - Precedenza operatori:
   NOT (+)  DIFF
@@ -98,3 +99,22 @@ MATHEMATICAL QUERY LANGUAGE (MathQL)
   teorema ci sono? 
 - L'ordinamento di default e' quello alfabetico crescente in base al nome 
   delle rvar
+- Note su <pattern>
+  Contiene un'espressione regolare per selezionare delle "reference" 
+  (cioe` delle uri eventualmente seguite da un fragment identifier)
+  L'espressione regolare contiene i seguenti costrutti:
+
+  costrutto        semanticamente fa match con                       
+  ?                un singolo carattere diverso da / # :             
+  *                la piu' lunga sottostringa che non contiene / # : 
+  **               la piu' lunga sottostringa che non contiene # :
+  altro carattere  solo se' stesso
+
+  costrutto        puo' appareire in
+  ?                "body"
+  *                dovunque
+  **               "body" e "fragment"
+  altro carattere  dovunque
+
+  "body"     parte compresa fra le occorrenze di ":/" e "#1" escluse
+  "fragment" parte successiva all'occorrenza "#1"