helm/schemas/schema-h

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