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