From: Irene Schena Date: Thu, 29 Aug 2002 14:41:02 +0000 (+0000) Subject: Modified Files: X-Git-Tag: new_mathql_before_first_merge~55 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=06953c5200dff3d105d3e4e6e8af47c51474286c;p=helm.git Modified Files: 1)core_grammar.txt grammar.txt query.xml xmathql.dtd: new grammar --- diff --git a/helm/mathql/core_grammar.txt b/helm/mathql/core_grammar.txt index 737741c48..2ef292c99 100644 --- a/helm/mathql/core_grammar.txt +++ b/helm/mathql/core_grammar.txt @@ -17,7 +17,7 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) | SELECT IN WHERE (* selezione *) | LET BE IN (* assegnazione a set-var in contesto *) - | RELATION ATTR + | ATTR (* unione insieme risorse in relazione specificata con le risorse in set, ognuna con @@ -25,6 +25,12 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) | UNION (* unione *) | INTERSECT (* intersezione *) + := RELATION (* relazione (proprieta') *) + | SUBRELATION (* proprieta' e + sotto-proprieta' *) + | SUPERRELATION (* proprieta' e + super-proprieta' *) + := | , @@ -50,9 +56,10 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) | . (* variabile per insieme stringhe, relativa a riferimento *) - | + | (* applicazione di funzione - specificata a riferim. *) + specificata a riferimento + o insiemi di rif. o var*) := | , @@ -99,4 +106,8 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) HYPOTHESIS, MAINCONCLUSION, CONCLUSION, BODY CONSTRUCTORS INTHEORY con attributo ITEMTYPE (riferimenti oggetti contenuti in teorie) - THEORYREFTO con attributo ITEMTYPE (riferimenti teorie referenti a oggetti) \ No newline at end of file + THEORYREFTO con attributo ITEMTYPE (riferimenti teorie referenti a oggetti) +- invece di come argomento di poiche' la REF non + e' piu' restrittiva su argomento/i e quindi e' inutile imporne l'uso quando + si passano i riferimenti alle funzioni. Con l'utente e' libero + di passare direttamente le stringhe dei riferimenti. \ No newline at end of file diff --git a/helm/mathql/grammar.txt b/helm/mathql/grammar.txt index 48d3a6383..979b4c549 100644 --- a/helm/mathql/grammar.txt +++ b/helm/mathql/grammar.txt @@ -16,21 +16,25 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) | SELECT IN WHERE (* selezione *) | LET BE IN (* assegnazione a set-var in contesto *) - | RELATION ATTR + | ATTR (* unione insieme risorse in relazione specificata con le risorse in set, ognuna con attributi (ATTR) *) - | OFTYPE (* unione oggetti in base a - classi RDF *) - | OFSUPERTYPE (* unione oggetti in base a - classi e loro superclassi *) - | OFSUBTYPE (* unione oggetti in base a - classi e loro sottoclassi *) | UNION (* unione *) | INTERSECT (* intersezione *) | DIFF (* differenza *) + := RELATION (* relazione (proprieta') *) + | SUBRELATION (* proprieta' e + sotto-proprieta' *) + | SUPERRELATION (* proprieta' e + super-proprieta' *) + + := + | , + + := ( ) (* parentesizzazione *) | TRUE (* vero *) | FALSE (* falso *) @@ -45,10 +49,6 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) insiemi stringhe *) | EX (* existential on attributes of references *) - - := - | , - := {} (* insieme vuoto*) | (* stringa singoletto *) | {} (* insieme stringhe *) @@ -56,9 +56,10 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) | . (* variabile per insieme stringhe, relativa a riferimento *) - | + | (* applicazione di funzione - specificata a riferim. *) + specificata a riferimento + o insiemi di rif. o var*) := | , @@ -67,11 +68,11 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) := FUN (* funzione generale *) | - := VALUEOF (* funzione proprieta': restituisce + := ATTRIBUTE (* funzione proprieta': restituisce suoi valori*) - | SUBVALUE (* restituisce valori proprieta' e + | SUBATTR (* restituisce valori proprieta' e sotto-proprieta' di *) - | SUPERVALUE (* restituisce valori proprieta' e + | SUPERATTR (* restituisce valori proprieta' e super-proprieta' di *) := @ (* variabile per riferimento *) @@ -81,7 +82,7 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) riferimenti *) - +- Idea di base: grammatica del linguaggio semplice e permissiva (duttile) - MEET e' definito come "esiste almeno un elemento che appartiene all'interserzione tra due insiemi" - le stringhe sono "case sensitive" @@ -109,6 +110,18 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) linguaggio - EX verfica che la sua condizione sia vera per almeno un insieme di attributi associato all'URI in rvar +- Possibili RELATION sono: + USE con attributo POSITION (riferimenti backward) e valori MAINHYPOTHESIS, + HYPOTHESIS, MAINCONCLUSION, CONCLUSION, BODY + USEBY con attributo POSITION (riferimenti forward) e valori MAINHYPOTHESIS, + HYPOTHESIS, MAINCONCLUSION, CONCLUSION, BODY + CONSTRUCTORS + INTHEORY con attributo ITEMTYPE (riferimenti oggetti contenuti in teorie) + THEORYREFTO con attributo ITEMTYPE (riferimenti teorie referenti a oggetti) +- invece di come argomento di poiche' la REF non + e' piu' restrittiva su argomento/i e quindi e' inutile imporne l'uso quando + si passano i riferimenti alle funzioni. Con l'utente e' libero + di passare direttamente le stringhe dei riferimenti. - Il costrutto di ordinamento: SORTEDBY (* unione insieme ordinato secondo valore funzione e ordine *) @@ -121,4 +134,6 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) le DC: TITLE, CONTRIBUTOR, CREATOR, PUBLISHER, SUBJECT, DESCRIPTION, DATE, TYPE, FORMAT, IDENTIFIER, LANGUAGE, RELATION, SOURCE, COVERAGE, RIGHTS, RIGHTS; and INSTITUTION, CONTACT, FIRSTVERSION, MODIFIED, THEORY - +- Il concetto di Classe, sottoclasse, superclasse, puo' essere visto come una + particolare proprieta' (type o tipo) di una risorsa, e quindi codificabile + da RELATION \ No newline at end of file diff --git a/helm/mathql/query.xml b/helm/mathql/query.xml index 748ab0098..4efca730d 100644 --- a/helm/mathql/query.xml +++ b/helm/mathql/query.xml @@ -21,7 +21,7 @@ MainHypothesis - + Uguaglianza diff --git a/helm/mathql/xmathql.dtd b/helm/mathql/xmathql.dtd index bcff12560..8d74cadc5 100644 --- a/helm/mathql/xmathql.dtd +++ b/helm/mathql/xmathql.dtd @@ -53,7 +53,7 @@ + Union|Intersect|Diff)'> @@ -61,7 +61,7 @@ - + @@ -88,21 +88,10 @@ - + - - - - - - - - - + name CDATA #REQUIRED + refine (sub|super) #IMPLIED> @@ -158,18 +147,11 @@ - + - + - - - - - - \ No newline at end of file + name CDATA #REQUIRED + refine (sub|super) #IMPLIED> \ No newline at end of file