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 <!DOCTYPE rdf:RDF [
   7         <!ENTITY rdfns 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
   8         <!ENTITY rdfsns 'http://www.w3.org/2000/01/rdf-schema#'>
   9         <!ENTITY hthns 'http://www.cs.unibo.it/~schena/schema-hth.rdf#'>
  10         <!ENTITY xschemans 'http://www.w3.org/1999/XMLSchema-datatypes#'>
  11         <!ENTITY hns 'http://www.cs.unibo.it/~schena/schema-h.rdf#'>
  12         <!ENTITY dcns 'http://www.cs.unibo.it/~schena/dces#'>
  13    ]>
  14
  15 <rdf:RDF xml:lang="en"
  16        xmlns:rdf="&rdfns;"
  17        xmlns:rdfs="&rdfsns;"
  18        xmlns:hth="&hthns;"
  19        xmlns:xs="&xschemans;"
  20        xmlns:dc="&dcns;">
  21
  22 <!-- RICORDA: metadati solo su oggetto (come teoria ma piu' specifici) (non
  23 distinzione tipi di body) e non ridondanze se non riducono il numero di doc
  24 da parsare  -->
  25
  26 <!-- Description of Schema -->
  27
  28 <rdf:Description rdf:about="&hns;">
  29   <rdf:value>The HELM Element Set v0.1</rdf:value>
  30   <dc:title>The HELM Object Element Set v0.1</dc:title>
  31   <dc:publisher>The HELM Project</dc:publisher>
  32   <dc:description>The HELM metadata vocabulary is a simple vocabulary
  33       intended to facilitate discovery of mathematical resources.
  34   </dc:description>
  35   <dc:language>English</dc:language>
  36   <dc:relation rdf:resource="http://ww.cs.unibo.it/helm/"/>
  37   <dc:date>2001-12-12</dc:date>
  38 </rdf:Description>
  39
  40
  41 <!-- Classes -->
  42
  43 <rdfs:Class rdf:ID="Object">
  44      <rdfs:comment>Mathematical objects represented by a CIC XML
  45 file</rdfs:comment>
  46      <rdfs:subClassOf rdf:resource="&hthns;MathResource"/>
  47      <rdfs:isDefinedBy rdf:resource = "&hns;" />
  48 </rdfs:Class>
  49
  50 <!-- Objects can inherit its dc properties -->
  51 <rdfs:Class rdf:ID="DirectoryOfObjects">
  52      <rdfs:comment>Mathematical resources (directories) represented by sets
  53 of CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
  54      <rdfs:subClassOf rdf:resource="&hthns;MathResource"/>
  55      <rdfs:isDefinedBy rdf:resource = "&hns;" />
  56 </rdfs:Class>
  57
  58 <rdfs:Class rdf:ID="Statement">
  59      <rdfs:comment>Types of objects</rdfs:comment>
  60      <rdfs:isDefinedBy rdf:resource = "&hns;" />
  61 </rdfs:Class>
  62
  63 <rdfs:Class rdf:ID="Body">
  64      <rdfs:comment>Terms of objects</rdfs:comment>
  65      <rdfs:isDefinedBy rdf:resource = "&hns;" />
  66 </rdfs:Class>
  67
  68 <rdfs:Class rdf:ID="Occurrence">
  69      <rdfs:comment>Occurrences of an object inside an object</rdfs:comment>
  70      <rdfs:isDefinedBy rdf:resource = "&hns;" />
  71 </rdfs:Class>
  72
  73 <rdfs:Class rdf:ID="Position">
  74      <rdfs:comment>Positions of occurrences of an object inside an object</rdfs:comment>
  75      <rdfs:isDefinedBy rdf:resource = "&hns;" />
  76 </rdfs:Class>
  77
  78 <rdfs:Class rdf:ID="Postit">
  79      <rdfs:comment>Additional information associated to fragments of the objects</rdfs:comment>
  80      <rdfs:isDefinedBy rdf:resource = "&hns;" />
  81 </rdfs:Class>
  82
  83 <rdfs:Class rdf:ID="Const">
  84      <rdfs:comment>Constants in the body of an object</rdfs:comment>
  85      <rdfs:isDefinedBy rdf:resource = "&hns;" />
  86 </rdfs:Class>
  87
  88 <rdfs:Class rdf:ID="StatementId">
  89      <rdfs:comment>Identifiers in the statement</rdfs:comment>
  90      <rdfs:isDefinedBy rdf:resource = "&hns;" />
  91 </rdfs:Class>
  92
  93 <rdfs:Class rdf:ID="BodyId">
  94      <rdfs:comment>Identifiers in the body</rdfs:comment>
  95      <rdfs:isDefinedBy rdf:resource = "&hns;" />
  96 </rdfs:Class>
  97
  98 <rdfs:Class rdf:ID="ImplArg">
  99      <rdfs:comment>Implicit arguments</rdfs:comment>
 100      <rdfs:isDefinedBy rdf:resource = "&hns;" />
 101 </rdfs:Class>
 102
 103 <!-- Instances of the class h:Position -->
 104
 105 <rdfs:Class rdf:ID="MainHypothesis">
 106     <rdfs:comment>Occurrences of an object in head position of some hypothesis
 107      of an object statement</rdfs:comment>
 108     <rdf:type rdf:resource="#Position"/>
 109     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 110 </rdfs:Class>
 111
 112 <rdfs:Class rdf:ID="InHypothesis">
 113     <rdfs:comment>Occurrences of an object in the hypotheses of an object
 114      statement</rdfs:comment>
 115     <rdf:type rdf:resource="#Position"/>
 116     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 117 </rdfs:Class>
 118
 119 <rdfs:Class rdf:ID="MainConclusion">
 120     <rdfs:comment>Occurrences of an object in head position of the
 121      conclusion of an object statement</rdfs:comment>
 122     <rdf:type rdf:resource="#Position"/>
 123     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 124 </rdfs:Class>
 125
 126 <rdfs:Class rdf:ID="InConclusion">
 127     <rdfs:comment>Occurrences of an object in the conclusion of an object
 128      statement</rdfs:comment>
 129     <rdf:type rdf:resource="#Position"/>
 130     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 131 </rdfs:Class>
 132
 133 <rdfs:Class rdf:ID="InBody">
 134     <rdfs:comment>Occurrences of an object only in an object body (not in the
 135      statement)</rdfs:comment>
 136     <rdf:type rdf:resource="#Position"/>
 137     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 138 </rdfs:Class>
 139
 140 <!-- Properties -->
 141
 142 <rdf:Property rdf:ID="statement">
 143     <rdfs:comment>Statement</rdfs:comment>
 144     <rdfs:domain rdf:resource="#Object"/>
 145     <rdfs:range rdf:resource="#Statement"/>
 146     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 147 </rdf:Property>
 148
 149 <rdf:Property rdf:ID="body">
 150     <rdfs:comment>Body</rdfs:comment>
 151     <rdfs:domain rdf:resource="#Object"/>
 152     <rdfs:range rdf:resource="#Body"/>
 153     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 154 </rdf:Property>
 155
 156 <rdf:Property rdf:ID="statementId">
 157     <rdfs:comment>Statement identifier</rdfs:comment>
 158     <rdfs:domain rdf:resource="#Statement"/>
 159     <rdfs:range rdf:resource="#StatementId"/>
 160     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 161 </rdf:Property>
 162
 163 <rdf:Property rdf:ID="constrId">
 164     <rdfs:comment>Constructor identifier of the statement conclusion</rdfs:comment>
 165     <rdfs:domain rdf:resource="#StatementId"/>
 166     <rdfs:range rdf:resource="&hthns;HelmID"/>
 167     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 168 </rdf:Property>
 169
 170 <rdf:Property rdf:ID="listId">
 171     <rdfs:comment>List of all ids in the domain</rdfs:comment>
 172     <rdfs:domain rdf:resource="#StatementId"/>
 173     <rdfs:domain rdf:resource="#BodyId"/>
 174     <rdfs:range rdf:resource="&rdfns;Seq"/>
 175     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 176 </rdf:Property>
 177
 178 <rdf:Property rdf:ID="bodyId">
 179     <rdfs:comment>Body identifier</rdfs:comment>
 180     <rdfs:domain rdf:resource="#Body"/>
 181     <rdfs:range rdf:resource="#BodyId"/>
 182     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 183 </rdf:Property>
 184
 185 <rdf:Property rdf:ID="refObj">
 186     <rdfs:comment>Reference to an object</rdfs:comment>
 187     <rdfs:domain rdf:resource="#Object"/>
 188     <rdfs:range rdf:resource="#Occurrence"/>
 189     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 190 </rdf:Property>
 191
 192 <rdf:Property rdf:ID="constrImplArg">
 193     <rdfs:comment>Implicit arguments of constructors</rdfs:comment>
 194     <rdfs:domain rdf:resource="#Statement"/>
 195     <rdfs:range rdf:resource="#ImplArg"/>
 196     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 197 </rdf:Property>
 198
 199 <rdf:Property rdf:ID="objImplArg">
 200     <rdfs:comment>Implicit arguments of objects</rdfs:comment>
 201     <rdfs:domain rdf:resource="#Object"/>
 202     <rdfs:range rdf:resource="#ImplArg"/>
 203     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 204 </rdf:Property>
 205
 206 <rdf:Property rdf:ID="listImplArg">
 207     <rdfs:comment>List of implicit arguments</rdfs:comment>
 208     <rdfs:domain rdf:resource="#ImplArg"/>
 209     <rdfs:range rdf:resource="&rdfns;Seq"/>
 210     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 211 </rdf:Property>
 212
 213 <rdf:Property rdf:ID="backPointer">
 214     <rdfs:comment>Backwards pointer: who points the object</rdfs:comment>
 215     <rdfs:domain rdf:resource="#Object"/>
 216     <rdfs:range rdf:resource="#Occurrence"/>
 217     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 218 </rdf:Property>
 219
 220 <rdf:Property rdf:ID="occurrence">
 221     <rdfs:comment>URI of an object</rdfs:comment>
 222     <rdfs:domain rdf:resource="#Occurrence"/>
 223     <rdfs:range rdf:resource="&hthns;HelmURI"/>
 224     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 225 </rdf:Property>
 226
 227 <rdf:Property rdf:ID="position">
 228     <rdfs:comment>Position of an occurrence</rdfs:comment>
 229     <rdfs:domain rdf:resource="#Occurrence"/>
 230     <rdfs:range rdf:resource="#Position"/>
 231     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 232 </rdf:Property>
 233
 234
 235 <rdf:Property rdf:ID="postit">
 236     <rdfs:comment>Postit</rdfs:comment>
 237     <rdfs:domain rdf:resource="#Object"/>
 238     <rdfs:range rdf:resource="#Postit"/>
 239     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 240 </rdf:Property>
 241
 242 <rdf:Property rdf:ID="content">
 243     <rdfs:comment>Content of a Postit</rdfs:comment>
 244     <rdfs:domain rdf:resource="#Postit"/>
 245     <rdfs:range rdf:resource="&xschemans;string"/>
 246     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 247 </rdf:Property>
 248
 249 <rdf:Property rdf:ID="refersTo">
 250     <rdfs:comment>Identifies the object fragment (Xpointer) which Postit
 251 refers to</rdfs:comment>
 252     <rdfs:domain rdf:resource="#Postit"/>
 253     <rdfs:range rdf:resource="&hthns;HelmURI"/>
 254     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 255 </rdf:Property>
 256
 257 </rdf:RDF>