3 <!-- Rdf Schema definition for CIC XML files:
4 xmlns:h="http://www.cs.unibo.it/~schena/schema-h.rdf#" -->
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#">
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
18 <!-- RICORDA: definire soprattutto i metadati da inserire a mano -->
22 <rdfs:Class rdf:ID="Object">
23 <rdfs:comment>Mathematical object represented by a CIC XML
25 <rdfs:subClassOf rdf:resource="http://www.cs.unibo.it/~schena/schema-hth.rdf#MathResource"/>
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"/>
35 <rdfs:Class rdf:ID="Statement">
36 <rdfs:comment>Type of the object</rdfs:comment>
39 <rdfs:Class rdf:ID="Body">
40 <rdfs:comment>Term of the object</rdfs:comment>
43 <rdfs:Class rdf:ID="Occurrence">
44 <rdfs:comment>Occurrence of an object inside an object</rdfs:comment>
47 <rdfs:Class rdf:ID="Postit">
48 <rdfs:comment>Additional information associated to fragments of the objects</rdfs:comment>
51 <rdfs:Class rdf:ID="Const">
52 <rdfs:comment>Constant in the body of an object</rdfs:comment>
55 <rdfs:Class rdf:ID="StatementId">
56 <rdfs:comment>Ids in the statement</rdfs:comment>
59 <rdfs:Class rdf:ID="BodyId">
60 <rdfs:comment>Ids in the body</rdfs:comment>
63 <rdfs:Class rdf:ID="ImplArg">
64 <rdfs:comment>Implicit arguments</rdfs:comment>
67 <!-- Instances of the class h:Occurrence -->
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"/>
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"/>
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"/>
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"/>
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"/>
101 <rdf:Property rdf:ID="statement">
102 <rdfs:domain rdf:resource="#Object"/>
103 <rdfs:range rdf:resource="#Statement"/>
106 <rdf:Property rdf:ID="body">
107 <rdfs:domain rdf:resource="#Object"/>
108 <rdfs:range rdf:resource="#Body"/>
111 <rdf:Property rdf:ID="statementId">
112 <rdfs:domain rdf:resource="#Statement"/>
113 <rdfs:range rdf:resource="#StatementId"/>
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"/>
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"/>
128 <rdf:Property rdf:ID="bodyId">
129 <rdfs:domain rdf:resource="#Body"/>
130 <rdfs:range rdf:resource="#BodyId"/>
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"/>
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"/>
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"/>
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"/>
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"/>
163 <rdf:Property rdf:ID="postit">
164 <rdfs:comment>Postit</rdfs:comment>
165 <rdfs:domain rdf:resource="#Object"/>
166 <rdfs:range rdf:resource="#Postit"/>
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"/>
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"/>