1 <?xml version="1.0" encoding="ISO-8859-1"?>
3 <!-- Copyright (C) 2000, HELM Team -->
5 <!-- This file is part of HELM, an Hypertextual, Electronic -->
6 <!-- Library of Mathematics, developed at the Computer Science -->
7 <!-- Department, University of Bologna, Italy. -->
9 <!-- HELM is free software; you can redistribute it and/or -->
10 <!-- modify it under the terms of the GNU General Public License -->
11 <!-- as published by the Free Software Foundation; either version 2 -->
12 <!-- of the License, or (at your option) any later version. -->
14 <!-- HELM is distributed in the hope that it will be useful, -->
15 <!-- but WITHOUT ANY WARRANTY; without even the implied warranty of -->
16 <!-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -->
17 <!-- GNU General Public License for more details. -->
19 <!-- You should have received a copy of the GNU General Public License -->
20 <!-- along with HELM; if not, write to the Free Software -->
21 <!-- Foundation, Inc., 59 Temple Place - Suite 330, Boston, -->
22 <!-- MA 02111-1307, USA. -->
24 <!-- For details, see the HELM World-Wide-Web page, -->
25 <!-- http://cs.unibo.it/helm/. -->
27 <!--*****************************************************************-->
28 <!-- DTD FOR the MATHEMATICAL QUERY MARKUP LANGUAGE (XMathQL) -->
29 <!-- First draft: April 2002, Irene Schena -->
30 <!--*****************************************************************-->
32 <!--*****************************************************************-->
33 <!-- This syntax is not convenient for humans to read and write, but -->
34 <!-- it is for programs. -->
35 <!-- XMathQL is useful for: -->
36 <!-- 1) generating queries in a XML-orienting programming environment-->
37 <!-- 2) embedding queries in XML documents -->
38 <!-- 3) reusing queries saved in a standard format -->
39 <!-- The syntax reflects the structure of the grammar productions of -->
41 <!-- Operators are unambiguous (binary or unary), so there isn't any -->
42 <!-- grouping operator. -->
43 <!-- SORTBY operator for sorting query results. -->
44 <!-- CONST is the constant string; rvar is for references and lvar -->
46 <!-- The attributes binder, rvar, lvar declare variables which are -->
47 <!-- referred to and used by means of respectively BINDER, Rvar and -->
48 <!-- RVAR, Lvar and LVAR. -->
49 <!-- Rvar (Lvar) is casted to a list, on the contrary the use of RVAR-->
50 <!-- (LVAR) is casted to a string. -->
51 <!-- PROPERTY works on a specified RDF property returning its value. -->
52 <!--*****************************************************************-->
54 <!ENTITY % order '(ascendant|descendant)'>
56 <!ENTITY % position '(MainHypothesis|Hypothesis|MainConclusion|Conclusion|
59 <!ENTITY % bool '(True|False)'>
61 <!ENTITY % token '(CONST|STAR|TWOSTARS|SLASH|QUESTIONMARK)'>
63 <!-- MathQL list expression declaration -->
65 <!ENTITY % listexpr '(Rvar|Lvar|Reference|Pattern|Select|LetIn|SortBy|
66 Use|UsedBy|ConstructorsOf|InTheory|TheoryRefTo|
67 TypeOf|SuperTypeOf|SubTypeOf|Union|Intersect|Diff|
70 <!-- MathQL boolean expression declaration -->
72 <!ENTITY % boolexpr '(BOOL|NOT|AND|OR|IS|SETEQUAL|SUBSET|EXISTS)'>
74 <!-- MathQL string expression declaration -->
76 <!ENTITY % functexpr '(NAME|PROPERTY|SUPERPROPERTY|SUBPROPERTY)'>
78 <!ENTITY % stringexpr '(CONST|POSITION|RVAR|BINDER|%functexpr;)'>
81 <!-- MathQL query top-element -->
83 <!ELEMENT MQLquery %listexpr;>
85 <!-- MathQL list expressions -->
94 <!ELEMENT Reference (RPrefix, RBody, Ext, (RFragmentID?))>
96 <!ELEMENT Pattern (PPrefix, PBody, (Ext?), (PFragmentID?))>
98 <!ELEMENT Select (In, Where)>
100 <!ELEMENT LetIn (%listexpr;, Target)>
102 <!ELEMENT Use (%listexpr;, Position)>
104 <!ELEMENT UsedBy (%listexpr;, Position)>
106 <!ELEMENT ConstructorsOf %listexpr;>
108 <!ELEMENT InTheory (%listexpr;, ItemType)>
110 <!ELEMENT TheoryRefTo %listexpr;>
112 <!ELEMENT TypeOf %listexpr;>
114 binder CDATA #REQUIRED>
116 <!ELEMENT SuperTypeOf %listexpr;>
117 <!ATTLIST SuperTypeOf
118 binder CDATA #REQUIRED>
120 <!ELEMENT SubTypeOf %listexpr;>
122 binder CDATA #REQUIRED>
124 <!ELEMENT Union (%listexpr;, %listexpr;)>
126 <!ELEMENT Intersect (%listexpr;, %listexpr;)>
128 <!ELEMENT Diff (%listexpr;, %listexpr;)>
130 <!ELEMENT SortBy (%listexpr;, SortField)>
132 <!ELEMENT Minimize %listexpr;>
134 <!-- MathQL list sub-expressions -->
136 <!ELEMENT RPrefix (CONST)>
138 <!ELEMENT RBody (CONST)>
140 <!ELEMENT RFragmentID (NUMBER)+>
142 <!ELEMENT Ext (CONST)>
144 <!ELEMENT PPrefix (CONST|STAR)>
146 <!ELEMENT PBody (%token;)+>
148 <!-- XPointers have max depth = 2 (see CIC inductive definitions) -->
149 <!ELEMENT PFragmentID (NUMBER|TWOSTARS|STAR)+>
151 <!ELEMENT NUMBER EMPTY>
153 value NMTOKEN #REQUIRED>
155 <!-- We need SLASH for grouping CONST with QUESTIONMARK -->
156 <!ELEMENT SLASH EMPTY>
158 <!-- STAR expands only to objects of the specified dir before the last "/":
159 ex. cic:/Algebra/* expands to every object in Algebra only -->
160 <!ELEMENT STAR EMPTY>
162 <!-- TWOSTARS expands till the most complete name (with extension if not
164 <!ELEMENT TWOSTARS EMPTY>
166 <!-- QUESTIONMARK matches one character except "/" -->
167 <!ELEMENT QUESTIONMARK EMPTY>
169 <!ELEMENT In %listexpr;>
171 <!ELEMENT Where %boolexpr;>
173 rvar CDATA #REQUIRED>
175 <!ELEMENT Target %listexpr;>
177 lvar CDATA #REQUIRED>
179 <!ELEMENT Position EMPTY>
181 binder CDATA #REQUIRED>
183 <!ELEMENT ItemType EMPTY>
185 binder CDATA #REQUIRED>
187 <!ELEMENT SortField %functexpr;>
189 order %order; #IMPLIED>
191 <!-- MathQL boolean expressions -->
193 <!ELEMENT BOOL EMPTY>
195 value %bool; #REQUIRED>
197 <!ELEMENT NOT %boolexpr;>
199 <!ELEMENT AND (%boolexpr;, %boolexpr;)>
201 <!ELEMENT OR (%boolexpr;, %boolexpr;)>
203 <!ELEMENT IS (%stringexpr;, %stringexpr;)>
205 <!ELEMENT SETEQUAL (%listexpr;, %listexpr;)>
207 <!ELEMENT SUBSET (%listexpr;, %listexpr;)>
209 <!ELEMENT EXISTS (RVAR, %listexpr;)>
211 <!-- MathQL string expressions -->
213 <!ELEMENT CONST (#PCDATA)>
215 <!ELEMENT RVAR EMPTY>
217 name CDATA #REQUIRED>
219 <!ELEMENT BINDER EMPTY>
221 name CDATA #REQUIRED>
223 <!ELEMENT POSITION EMPTY>
225 name %position; #REQUIRED>
227 <!ELEMENT NAME (RVAR)>
229 <!ELEMENT PROPERTY (RVAR)>
231 name CDATA #REQUIRED>
233 <!ELEMENT SUPERPROPERTY (RVAR)>
234 <!ATTLIST SUPERPROPERTY
235 name CDATA #REQUIRED>
237 <!ELEMENT SUBPROPERTY (RVAR)>
238 <!ATTLIST SUBPROPERTY
239 name CDATA #REQUIRED>