From: Irene Schena Date: Tue, 23 Apr 2002 14:58:22 +0000 (+0000) Subject: Modified Files: X-Git-Tag: V_0_3_0_debian_8~132 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4d8f96c20608512ddd425f57547cd33ce9a9d8b0;p=helm.git Modified Files: 1) grammar.txt: added new entries. --- diff --git a/helm/mathql/grammar.txt b/helm/mathql/grammar.txt index 03f6a2c66..399a529f1 100644 --- a/helm/mathql/grammar.txt +++ b/helm/mathql/grammar.txt @@ -1,4 +1,4 @@ -GRAMMATICA PER QUERY SU DOCUMENTI MATEMATICI- VERSIONE 2002-04-19 #1Irene +GRAMMATICA PER QUERY SU DOCUMENTI MATEMATICI MATHEMATICAL QUERY LANGUAGE (MathQL) := (* clausola iniziale *) @@ -8,17 +8,24 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) | INTERSECT (* intersezione *) | DIFF (* differenza *) | SORTEDBY - | SELECT IN WHERE (* selezione *) - | EXISTS IN WHERE (* esistenziale *) + | SELECT IN WHERE (* selezione *) + | EXISTS IN WHERE (* esistenziale *) | USE POSITION (* unione lista backward *) | USEDBY POSITION (* unione lista forward *) - | CONTRUCTORS + | CONTRUCTORS (* unione costruttori della + lista oggetti*) | PATTERN (* espansione del pattern *) | INTHEORY ITEMTYPE (* unione oggetti lista teorie *) | THEORYREFTO (* unione teorie che fanno riferimento a lista oggetti *) + | OFTYPE (* unione oggetti in base a + classi *) + | OFSUPERTYPE (* unione oggetti in base a + classi e loro superclassi *) + | OFSUBTYPE (* unione oggetti in base a + classi e loro sottoclassi *) - := ( ) (* parentesizazione *) + := ( ) (* parentesizzazione *) | AND (* congiunzione *) | OR (* disgiunzione *) | NOT (* negazione *) @@ -31,11 +38,11 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) := (* costante letterale *) | CONCLUSION | HYPOTHESIS | BODY (* costanti simboliche *) | MAINCONCLUSION | MAINHYPOTHESIS - | (* variabile *) + | (* variabile *) | (* variabile *) - | (* applicazione di funzione *) + | (* applicazione di funzione *) - := NAME (* pvar -> nome_oggetto *) + := NAME (* rvar -> nome_oggetto *) | TITLE (* URI -> valore_Prop_DC *) | CONTRIBUTOR | CREATOR @@ -57,8 +64,10 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) | MODIFIED | - := SUB (* sub-property of *) - | SUPER (* super-property of *) + := SUB (* proprieta' e sotto-proprieta' + di *) + | SUPER (* proprieta' e super-proprieta' + di *) := THEORY (* ordinamento alfabetico in base a teorie e default per @@ -68,13 +77,13 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) | KEY (* ordinamento in base a parole chiave o soggetto *) - := (* variabile per pattern *) + := (* variabile per risorse *) := $ (* variabile per stringhe *) - le stringhe sono "case sensitive" - la funzione non definita sull'argomento restituisce la stringa nulla -- le si presuppongono essere istanziate come URI complete o - URI#xpointer_expression +- le si presuppongono essere istanziate come URI complete o + URI#xpointer_expression e identificano risorse - ogni binding lega una variabile libera (nuova) - Precedenza operatori: NOT (+) DIFF @@ -89,7 +98,7 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) operatori aritmetici e di confronto (< = >). Es. Quante proofs di un certo teorema ci sono? - L'ordinamento di default e' quello alfabetico crescente in base al nome - delle pvar + delle rvar