X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fgrammar.txt;h=a9fbcf214f1279e9ea368a9ee92301a0cdaaadb0;hb=7b7d26322d3bd9be8d6cdde79c74ff38e921290b;hp=877bd075fddc85f7955296612a7f388eacb2e53b;hpb=ca6aaf6c6b4c5fc37ef61c56ed6fc9d81c76b626;p=helm.git

diff --git a/helm/mathql/grammar.txt b/helm/mathql/grammar.txt
index 877bd075f..a9fbcf214 100644
--- a/helm/mathql/grammar.txt
+++ b/helm/mathql/grammar.txt
@@ -43,11 +43,11 @@ MATHEMATICAL QUERY LANGUAGE (MathQL)
 	 |  <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