X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fschemas%2Fschema-h.rdf;h=395eb925c599d999cd7e1e54f62f9d2675b777c8;hb=86ec68f575f6f781572d14d0aba9a98a860c94a6;hp=7a8c1046c3f6e2ded1b290bfe403c1b2edee0c14;hpb=9d25a028a1ec3f0331d417b7c0b648e8c5d622a3;p=helm.git

diff --git a/helm/schemas/schema-h.rdf b/helm/schemas/schema-h.rdf
index 7a8c1046c..395eb925c 100644
--- a/helm/schemas/schema-h.rdf
+++ b/helm/schemas/schema-h.rdf
@@ -3,188 +3,255 @@
 <!-- Rdf Schema definition for CIC XML files:
 xmlns:h="http://www.cs.unibo.it/~schena/schema-h.rdf#" -->
 
+<!DOCTYPE rdf:RDF [
+        <!ENTITY rdfns 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
+        <!ENTITY rdfsns 'http://www.w3.org/2000/01/rdf-schema#'>
+        <!ENTITY hthns 'http://www.cs.unibo.it/~schena/schema-hth.rdf#'>
+        <!ENTITY xschemans 'http://www.w3.org/1999/XMLSchema-datatypes#'>
+        <!ENTITY hns 'http://www.cs.unibo.it/~schena/schema-h.rdf#'>
+        <!ENTITY dcns 'http://www.cs.unibo.it/~schena/dces#'>
+   ]>
+
 <rdf:RDF xml:lang="en"
-       xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
-       xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
-       xmlns:hth="http://www.cs.unibo.it/~schena/schema-hth.rdf#">
-
-<!-- RICORDA: aggiungi commento anche a proprieta' e istanze -->
-<!-- RICORDA: studiare tipi di dato (invece di Literal) -->
-<!-- RICORDA: specificare i contenuti dei dc elements -->
-<!-- RICORDA: aggiungi euler properties -->
+       xmlns:rdf="&rdfns;"
+       xmlns:rdfs="&rdfsns;"
+       xmlns:hth="&hthns;"
+       xmlns:xs="&xschemans;"
+       xmlns:dc="&dcns;">
+
 <!-- RICORDA: metadati solo su oggetto (come teoria ma piu' specifici) (non 
 distinzione tipi di body) e non ridondanze se non riducono il numero di doc 
 da parsare  -->
-<!-- RICORDA: definire soprattutto i metadati da inserire a mano -->
+
+<!-- Description of Schema -->
+	
+<rdf:Description rdf:about="&hns;">
+  <rdf:value>The HELM Element Set v0.1</rdf:value>
+  <dc:title>The HELM Object Element Set v0.1</dc:title>
+  <dc:publisher>The HELM Project</dc:publisher>
+  <dc:description>The HELM metadata vocabulary is a simple vocabulary
+      intended to facilitate discovery of mathematical resources. 
+  </dc:description>
+  <dc:language>English</dc:language>
+  <dc:relation rdf:resource="http://ww.cs.unibo.it/helm/"/>
+  <dc:date>2001-12-12</dc:date>
+</rdf:Description>
+
 
 <!-- Classes -->
 
 <rdfs:Class rdf:ID="Object">
-     <rdfs:comment>Mathematical object represented by a CIC XML 
+     <rdfs:comment>Mathematical objects represented by a CIC XML 
 file</rdfs:comment>
-     <rdfs:subClassOf rdf:resource="http://www.cs.unibo.it/~schena/schema-hth.rdf#MathResource"/>
+     <rdfs:subClassOf rdf:resource="&hthns;MathResource"/>
+     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdfs:Class>
 
 <!-- Objects can inherit its dc properties -->
 <rdfs:Class rdf:ID="DirectoryOfObjects">
-     <rdfs:comment>Mathematical resource (directory) represented by a set of 
-CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
-     <rdfs:subClassOf rdf:resource="http://www.cs.unibo.it/~schena/schema-hth.rdf#MathResource"/>
+     <rdfs:comment>Mathematical resources (directories) represented by sets 
+of CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
+     <rdfs:subClassOf rdf:resource="&hthns;MathResource"/>
+     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="Statement">
-     <rdfs:comment>Type of the object</rdfs:comment>
+     <rdfs:comment>Types of objects</rdfs:comment>
+     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="Body">
-     <rdfs:comment>Term of the object</rdfs:comment>
+     <rdfs:comment>Terms of objects</rdfs:comment>
+     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="Occurrence">
-     <rdfs:comment>Occurrence of an object inside an object</rdfs:comment>
+     <rdfs:comment>Occurrences of an object inside an object</rdfs:comment>
+     <rdfs:isDefinedBy rdf:resource = "&hns;" />
+</rdfs:Class>
+
+<rdfs:Class rdf:ID="Position">
+     <rdfs:comment>Positions of occurrences of an object inside an object</rdfs:comment>
+     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="Postit">
      <rdfs:comment>Additional information associated to fragments of the objects</rdfs:comment>
+     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="Const">
-     <rdfs:comment>Constant in the body of an object</rdfs:comment>
+     <rdfs:comment>Constants in the body of an object</rdfs:comment>
+     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="StatementId">
-     <rdfs:comment>Ids in the statement</rdfs:comment>
+     <rdfs:comment>Identifiers in the statement</rdfs:comment>
+     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="BodyId">
-     <rdfs:comment>Ids in the body</rdfs:comment>
+     <rdfs:comment>Identifiers in the body</rdfs:comment>
+     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="ImplArg">
      <rdfs:comment>Implicit arguments</rdfs:comment>
+     <rdfs:isDefinedBy rdf:resource = "&hns;" /> 
 </rdfs:Class>
 
-<!-- Instances of the class h:Occurrence -->
+<!-- Instances of the class h:Position -->
 
 <rdfs:Class rdf:ID="MainHypothesis">
-    <rdfs:comment>Occurrence of an object in head position of some hypothesis 
+    <rdfs:comment>Occurrences of an object in head position of some hypothesis 
      of an object statement</rdfs:comment>
-    <rdf:type rdf:resource="#Occurrence"/>
+    <rdf:type rdf:resource="#Position"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="InHypothesis">
-    <rdfs:comment>Occurrence of an object in the hypotheses of an object 
+    <rdfs:comment>Occurrences of an object in the hypotheses of an object 
      statement</rdfs:comment>
-    <rdf:type rdf:resource="#Occurrence"/>
+    <rdf:type rdf:resource="#Position"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="MainConclusion">
-    <rdfs:comment>Occurrence of an object in head position of the 
+    <rdfs:comment>Occurrences of an object in head position of the 
      conclusion of an object statement</rdfs:comment>
-    <rdf:type rdf:resource="#Occurrence"/>
+    <rdf:type rdf:resource="#Position"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="InConclusion">
-    <rdfs:comment>Occurrence of an object in the conclusion of an object
+    <rdfs:comment>Occurrences of an object in the conclusion of an object
      statement</rdfs:comment>  
-    <rdf:type rdf:resource="#Occurrence"/>
+    <rdf:type rdf:resource="#Position"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdfs:Class>
 
 <rdfs:Class rdf:ID="InBody">
-    <rdfs:comment>Occurrence of an object only in an object body (not in the 
+    <rdfs:comment>Occurrences of an object only in an object body (not in the 
      statement)</rdfs:comment>
-    <rdf:type rdf:resource="#Occurrence"/>
+    <rdf:type rdf:resource="#Position"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdfs:Class>
 
 <!-- Properties -->
 
 <rdf:Property rdf:ID="statement">
+    <rdfs:comment>Statement</rdfs:comment>
     <rdfs:domain rdf:resource="#Object"/>
     <rdfs:range rdf:resource="#Statement"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
 <rdf:Property rdf:ID="body">
+    <rdfs:comment>Body</rdfs:comment>
     <rdfs:domain rdf:resource="#Object"/>
     <rdfs:range rdf:resource="#Body"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
 <rdf:Property rdf:ID="statementId">
+    <rdfs:comment>Statement identifier</rdfs:comment>
     <rdfs:domain rdf:resource="#Statement"/>
     <rdfs:range rdf:resource="#StatementId"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
 <rdf:Property rdf:ID="constrId">
+    <rdfs:comment>Constructor identifier of the statement conclusion</rdfs:comment>
     <rdfs:domain rdf:resource="#StatementId"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+    <rdfs:range rdf:resource="&hthns;HelmID"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
 <rdf:Property rdf:ID="listId">
     <rdfs:comment>List of all ids in the domain</rdfs:comment>
     <rdfs:domain rdf:resource="#StatementId"/>
     <rdfs:domain rdf:resource="#BodyId"/>
-    <rdfs:range rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq"/>
+    <rdfs:range rdf:resource="&rdfns;Seq"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
 <rdf:Property rdf:ID="bodyId">
+    <rdfs:comment>Body identifier</rdfs:comment>
     <rdfs:domain rdf:resource="#Body"/>
     <rdfs:range rdf:resource="#BodyId"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
 <rdf:Property rdf:ID="refObj">
     <rdfs:comment>Reference to an object</rdfs:comment>
     <rdfs:domain rdf:resource="#Object"/>
     <rdfs:range rdf:resource="#Occurrence"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
 <rdf:Property rdf:ID="constrImplArg">
     <rdfs:comment>Implicit arguments of constructors</rdfs:comment>
     <rdfs:domain rdf:resource="#Statement"/>
     <rdfs:range rdf:resource="#ImplArg"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
 <rdf:Property rdf:ID="objImplArg">
     <rdfs:comment>Implicit arguments of objects</rdfs:comment>
     <rdfs:domain rdf:resource="#Object"/>
     <rdfs:range rdf:resource="#ImplArg"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
 <rdf:Property rdf:ID="listImplArg">
     <rdfs:comment>List of implicit arguments</rdfs:comment>
     <rdfs:domain rdf:resource="#ImplArg"/>
-    <rdfs:range rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq"/>
+    <rdfs:range rdf:resource="&rdfns;Seq"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
 <rdf:Property rdf:ID="backPointer">
     <rdfs:comment>Backwards pointer: who points the object</rdfs:comment>
     <rdfs:domain rdf:resource="#Object"/>
     <rdfs:range rdf:resource="#Occurrence"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID="occurrence">
+    <rdfs:comment>URI of an object</rdfs:comment>
+    <rdfs:domain rdf:resource="#Occurrence"/>
+    <rdfs:range rdf:resource="&hthns;HelmURI"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
+</rdf:Property>
+
+<rdf:Property rdf:ID="position">
+    <rdfs:comment>Position of an occurrence</rdfs:comment>
+    <rdfs:domain rdf:resource="#Occurrence"/>
+    <rdfs:range rdf:resource="#Position"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
+
 <rdf:Property rdf:ID="postit">
     <rdfs:comment>Postit</rdfs:comment>
     <rdfs:domain rdf:resource="#Object"/>
     <rdfs:range rdf:resource="#Postit"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
 <rdf:Property rdf:ID="content">
     <rdfs:comment>Content of a Postit</rdfs:comment>
     <rdfs:domain rdf:resource="#Postit"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+    <rdfs:range rdf:resource="&xschemans;string"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
 <rdf:Property rdf:ID="refersTo">
     <rdfs:comment>Identifies the object fragment (Xpointer) which Postit
 refers to</rdfs:comment>
     <rdfs:domain rdf:resource="#Postit"/>
-    <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
+    <rdfs:range rdf:resource="&hthns;HelmURI"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
-</rdf:RDF>
-
-
-
-
-
-
-
-
+</rdf:RDF>
\ No newline at end of file