]> matita.cs.unibo.it Git - helm.git/blob - helm/schemas/schema-h.rdf
7a8c1046c3f6e2ded1b290bfe403c1b2edee0c14
[helm.git] / helm / schemas / schema-h.rdf
1 <?xml version="1.0"?>
2
3 <!-- Rdf Schema definition for CIC XML files:
4 xmlns:h="http://www.cs.unibo.it/~schena/schema-h.rdf#" -->
5
6 <rdf:RDF xml:lang="en"
7        xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
8        xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
9        xmlns:hth="http://www.cs.unibo.it/~schena/schema-hth.rdf#">
10
11 <!-- RICORDA: aggiungi commento anche a proprieta' e istanze -->
12 <!-- RICORDA: studiare tipi di dato (invece di Literal) -->
13 <!-- RICORDA: specificare i contenuti dei dc elements -->
14 <!-- RICORDA: aggiungi euler properties -->
15 <!-- RICORDA: metadati solo su oggetto (come teoria ma piu' specifici) (non 
16 distinzione tipi di body) e non ridondanze se non riducono il numero di doc 
17 da parsare  -->
18 <!-- RICORDA: definire soprattutto i metadati da inserire a mano -->
19
20 <!-- Classes -->
21
22 <rdfs:Class rdf:ID="Object">
23      <rdfs:comment>Mathematical object represented by a CIC XML 
24 file</rdfs:comment>
25      <rdfs:subClassOf rdf:resource="http://www.cs.unibo.it/~schena/schema-hth.rdf#MathResource"/>
26 </rdfs:Class>
27
28 <!-- Objects can inherit its dc properties -->
29 <rdfs:Class rdf:ID="DirectoryOfObjects">
30      <rdfs:comment>Mathematical resource (directory) represented by a set of 
31 CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
32      <rdfs:subClassOf rdf:resource="http://www.cs.unibo.it/~schena/schema-hth.rdf#MathResource"/>
33 </rdfs:Class>
34
35 <rdfs:Class rdf:ID="Statement">
36      <rdfs:comment>Type of the object</rdfs:comment>
37 </rdfs:Class>
38
39 <rdfs:Class rdf:ID="Body">
40      <rdfs:comment>Term of the object</rdfs:comment>
41 </rdfs:Class>
42
43 <rdfs:Class rdf:ID="Occurrence">
44      <rdfs:comment>Occurrence of an object inside an object</rdfs:comment>
45 </rdfs:Class>
46
47 <rdfs:Class rdf:ID="Postit">
48      <rdfs:comment>Additional information associated to fragments of the objects</rdfs:comment>
49 </rdfs:Class>
50
51 <rdfs:Class rdf:ID="Const">
52      <rdfs:comment>Constant in the body of an object</rdfs:comment>
53 </rdfs:Class>
54
55 <rdfs:Class rdf:ID="StatementId">
56      <rdfs:comment>Ids in the statement</rdfs:comment>
57 </rdfs:Class>
58
59 <rdfs:Class rdf:ID="BodyId">
60      <rdfs:comment>Ids in the body</rdfs:comment>
61 </rdfs:Class>
62
63 <rdfs:Class rdf:ID="ImplArg">
64      <rdfs:comment>Implicit arguments</rdfs:comment>
65 </rdfs:Class>
66
67 <!-- Instances of the class h:Occurrence -->
68
69 <rdfs:Class rdf:ID="MainHypothesis">
70     <rdfs:comment>Occurrence of an object in head position of some hypothesis 
71      of an object statement</rdfs:comment>
72     <rdf:type rdf:resource="#Occurrence"/>
73 </rdfs:Class>
74
75 <rdfs:Class rdf:ID="InHypothesis">
76     <rdfs:comment>Occurrence of an object in the hypotheses of an object 
77      statement</rdfs:comment>
78     <rdf:type rdf:resource="#Occurrence"/>
79 </rdfs:Class>
80
81 <rdfs:Class rdf:ID="MainConclusion">
82     <rdfs:comment>Occurrence of an object in head position of the 
83      conclusion of an object statement</rdfs:comment>
84     <rdf:type rdf:resource="#Occurrence"/>
85 </rdfs:Class>
86
87 <rdfs:Class rdf:ID="InConclusion">
88     <rdfs:comment>Occurrence of an object in the conclusion of an object
89      statement</rdfs:comment>  
90     <rdf:type rdf:resource="#Occurrence"/>
91 </rdfs:Class>
92
93 <rdfs:Class rdf:ID="InBody">
94     <rdfs:comment>Occurrence of an object only in an object body (not in the 
95      statement)</rdfs:comment>
96     <rdf:type rdf:resource="#Occurrence"/>
97 </rdfs:Class>
98
99 <!-- Properties -->
100
101 <rdf:Property rdf:ID="statement">
102     <rdfs:domain rdf:resource="#Object"/>
103     <rdfs:range rdf:resource="#Statement"/>
104 </rdf:Property>
105
106 <rdf:Property rdf:ID="body">
107     <rdfs:domain rdf:resource="#Object"/>
108     <rdfs:range rdf:resource="#Body"/>
109 </rdf:Property>
110
111 <rdf:Property rdf:ID="statementId">
112     <rdfs:domain rdf:resource="#Statement"/>
113     <rdfs:range rdf:resource="#StatementId"/>
114 </rdf:Property>
115
116 <rdf:Property rdf:ID="constrId">
117     <rdfs:domain rdf:resource="#StatementId"/>
118     <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
119 </rdf:Property>
120
121 <rdf:Property rdf:ID="listId">
122     <rdfs:comment>List of all ids in the domain</rdfs:comment>
123     <rdfs:domain rdf:resource="#StatementId"/>
124     <rdfs:domain rdf:resource="#BodyId"/>
125     <rdfs:range rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq"/>
126 </rdf:Property>
127
128 <rdf:Property rdf:ID="bodyId">
129     <rdfs:domain rdf:resource="#Body"/>
130     <rdfs:range rdf:resource="#BodyId"/>
131 </rdf:Property>
132
133 <rdf:Property rdf:ID="refObj">
134     <rdfs:comment>Reference to an object</rdfs:comment>
135     <rdfs:domain rdf:resource="#Object"/>
136     <rdfs:range rdf:resource="#Occurrence"/>
137 </rdf:Property>
138
139 <rdf:Property rdf:ID="constrImplArg">
140     <rdfs:comment>Implicit arguments of constructors</rdfs:comment>
141     <rdfs:domain rdf:resource="#Statement"/>
142     <rdfs:range rdf:resource="#ImplArg"/>
143 </rdf:Property>
144
145 <rdf:Property rdf:ID="objImplArg">
146     <rdfs:comment>Implicit arguments of objects</rdfs:comment>
147     <rdfs:domain rdf:resource="#Object"/>
148     <rdfs:range rdf:resource="#ImplArg"/>
149 </rdf:Property>
150
151 <rdf:Property rdf:ID="listImplArg">
152     <rdfs:comment>List of implicit arguments</rdfs:comment>
153     <rdfs:domain rdf:resource="#ImplArg"/>
154     <rdfs:range rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq"/>
155 </rdf:Property>
156
157 <rdf:Property rdf:ID="backPointer">
158     <rdfs:comment>Backwards pointer: who points the object</rdfs:comment>
159     <rdfs:domain rdf:resource="#Object"/>
160     <rdfs:range rdf:resource="#Occurrence"/>
161 </rdf:Property>
162
163 <rdf:Property rdf:ID="postit">
164     <rdfs:comment>Postit</rdfs:comment>
165     <rdfs:domain rdf:resource="#Object"/>
166     <rdfs:range rdf:resource="#Postit"/>
167 </rdf:Property>
168
169 <rdf:Property rdf:ID="content">
170     <rdfs:comment>Content of a Postit</rdfs:comment>
171     <rdfs:domain rdf:resource="#Postit"/>
172     <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
173 </rdf:Property>
174
175 <rdf:Property rdf:ID="refersTo">
176     <rdfs:comment>Identifies the object fragment (Xpointer) which Postit
177 refers to</rdfs:comment>
178     <rdfs:domain rdf:resource="#Postit"/>
179     <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
180 </rdf:Property>
181
182 </rdf:RDF>
183
184
185
186
187
188
189
190