From: Irene Schena Date: Mon, 10 Jun 2002 15:40:36 +0000 (+0000) Subject: Modified Files: X-Git-Tag: V_0_3_0_debian_8~56 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=85f01e5719399cc2ccf47cbe51f7b8036e12d815;p=helm.git Modified Files: 1) grammar.txt query.xml xmathql.dtd: aligned versions (added LETIN REFERENCE SETEQUAL SUBSET LVAR) --- diff --git a/helm/mathql/grammar.txt b/helm/mathql/grammar.txt index 7bdd67c3a..699a6f20a 100644 --- a/helm/mathql/grammar.txt +++ b/helm/mathql/grammar.txt @@ -4,53 +4,57 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) := (* clausola iniziale *) := ( ) (* parentesizazione *) - | UNION (* unione *) - | INTERSECT (* intersezione *) - | DIFF (* differenza *) + | (* lista singoletto var + (lista valori) *) + | (* lista singoletto var + (lista valori) *) + | REFERENCE (* oggetto referenziato da + pattern costante *) + | PATTERN (* espansione del pattern *) | SELECT IN WHERE (* selezione *) | EXISTS IN WHERE (* esistenziale *) + | LET BE IN (* assegnazione a var in + contesto *) | USE POSITION (* unione lista backward *) | USEDBY POSITION (* unione lista forward *) | CONTRUCTORS (* unione costruttori della lista oggetti*) - | PATTERN (* espansione del pattern *) - | REFERENCE (* oggetto referenziato *) - | INTHEORY ITEMTYPE (* unione oggetti lista teorie *) + | INTHEORY ITEMTYPE (* unione oggetti lista + teorie *) | THEORYREFTO (* unione teorie che fanno riferimento a lista oggetti *) | OFTYPE (* unione oggetti in base a - classi *) + classi RDF *) | OFSUPERTYPE (* unione oggetti in base a classi e loro superclassi *) | OFSUBTYPE (* unione oggetti in base a classi e loro sottoclassi *) - | (* valore della var*) + | UNION (* unione *) + | INTERSECT (* intersezione *) + | DIFF (* differenza *) := ( ) (* parentesizzazione *) - | AND (* congiunzione *) - | OR (* disgiunzione *) - | NOT (* negazione *) | TRUE (* vero *) | FALSE (* falso *) + | NOT (* negazione *) + | AND (* congiunzione *) + | OR (* disgiunzione *) | IS (* case sensitive matching *) | SETEQUAL (* uguaglianza tra liste *) - | SUBSET (* operazione di sottoinsieme *) - - := <"-quoted-constant-string> (* pattern costante *) - := <'-quoted-constant-string> (* riferimento costante *) - + | SUBSET (* operazione di sottoinsieme *) + := <'-quoted-constant-string> (* costante letterale *) - | CONCLUSION | HYPOTHESIS | BODY (* costanti simboliche *) - | MAINCONCLUSION | MAINHYPOTHESIS - | (* variabile *) + | MAINHYPOTHESIS | HYPOTHESIS (* costanti simboliche *) + | MAINCONCLUSION | CONCLUSION | BODY | (* variabile *) + | (* variabile *) | (* applicazione di funzione *) := NAME (* URIREF -> nome_oggetto *) - | + | (* proprieta' RDF *) - := THEORY (* URIREF -> valore_Proprieta' *) - | TITLE (* URIREF -> valore_Prop_DC *) + := THEORY (* URIREF -> valore_proprieta' *) + | TITLE (* URIREF -> valore_prop_DC *) | CONTRIBUTOR | CREATOR | PUBLISHER @@ -69,15 +73,22 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) | CONTACT | FIRSTVERSION | MODIFIED + | VALUEOF (* nome_propr URIREF -> + valore_Proprieta' *) | := SUB (* proprieta' e sotto-proprieta' di *) | SUPER (* proprieta' e super-proprieta' di *) + := <'-quoted-constant-string> (* costante letterale *) + + := <"-quoted-constant-string> (* pattern costante *) + := <'-quoted-constant-string> (* riferimento costante *) - := (* variabile per risorse *) + := (* variabile per riferimenti *) := $ (* variabile per stringhe *) + := % (* variabile per liste *) - () = lista vuota (?) - le stringhe sono "case sensitive" @@ -132,4 +143,9 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) - RILASSAMENTO degli operatori UNION e INTERSECT. Operatori fuzzy con - introduzione di pesi associati ai risultati. \ No newline at end of file + introduzione di pesi associati ai risultati. +- VALUEOF restituisce il valore o, ricorsivamente sulla struttura, i valori + (delle proprieta' delle classi di valori) della proprieta' passatagli. + Problema: e' necessario gestire sia i nomi delle classi (costrutti TYPEOF) + sia i nomi delle proprieta' (menu a tendina di suggerimenti all'utente in + base agli Schemi RDF relativi ai dati). \ No newline at end of file diff --git a/helm/mathql/query.xml b/helm/mathql/query.xml index aff80bcb5..e51944e8d 100644 --- a/helm/mathql/query.xml +++ b/helm/mathql/query.xml @@ -1,16 +1,16 @@ - + - + - + diff --git a/helm/mathql/xmathql.dtd b/helm/mathql/xmathql.dtd index 7b4f71045..88462d5d2 100644 --- a/helm/mathql/xmathql.dtd +++ b/helm/mathql/xmathql.dtd @@ -25,7 +25,7 @@ - + @@ -38,29 +38,34 @@ - - - - - + + + + + + + + - + - + - + + + - + @@ -69,99 +74,127 @@ - + - + - + + + - + + - + - + - - - - - - + - + - + - + - - + - + - + - + - + - + - + - - + - + - + - + - + + + + + + + + + + + + + + + + + - + - + - - + + + + + + + + + + + + + + + + - - - - + + +