From e147acdb13c52328b712cb2c200bafbe8aadbcc4 Mon Sep 17 00:00:00 2001
From: Irene Schena <irene.schena@unibo.it>
Date: Mon, 18 Nov 2002 14:49:46 +0000
Subject: [PATCH] Modified Files: 1) schema-h schema-hth: work in progress
 schemas

---
 helm/schemas/schema-h   | 60 +++++++++++++++++++++++------------------
 helm/schemas/schema-hth | 12 ++++++++-
 2 files changed, 45 insertions(+), 27 deletions(-)

diff --git a/helm/schemas/schema-h b/helm/schemas/schema-h
index 4a4798e51..290fab667 100644
--- a/helm/schemas/schema-h
+++ b/helm/schemas/schema-h
@@ -16,16 +16,18 @@ xmlns:h="http://www.cs.unibo.it/~schena/schema-h#" -->
 <rdf:RDF xml:lang="en"
        xmlns:rdf="&rdfns;"
        xmlns:rdfs="&rdfsns;"
-       xmlns:hth="&hthns;"
-       xmlns:h="&hns;"
        xmlns:xs="&xschemans;"
        xmlns:dc="&dcns;"
-       xmlns:dcq="&dcqns;">
+       xmlns:dcq="&dcqns;"
+       xmlns:hth="&hthns;">
 
 <!-- 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  -->
 
+<!-- Versione con rdf:parseType="resource" per le proprieta' strutturate
+     refObj e backPointer. Il valore di occurrence e' solo di tipo URI. -->
+
 <!-- Description of Schema -->
 	
 <rdf:Description rdf:about="&hns;">
@@ -36,12 +38,12 @@ da parsare  -->
       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:relation rdf:resource="http://www.cs.unibo.it/helm/"/>
   <dcq:isRequiredBy rdf:resource="&hns;"/>
   <dcq:conformsTo rdf:resource="http://www.w3.org/RDF/"/>
   <dcq:issued>2000-6-3</dcq:issued>
   <dcq:modified>2002-9-6</dcq:modified>
-  <rdfs:isDefinedBy rdf:resource = "&hthns;" />
+  <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Description>
 
 
@@ -72,10 +74,10 @@ of CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
      <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdfs:Class>
 
-<rdfs:Class rdf:about="&hns;Occurrence">
+<!--<rdfs:Class rdf:about="&hns;Occurrence">
      <rdfs:comment>Occurrences of an object inside an object</rdfs:comment>
      <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</rdfs:Class>
+</rdfs:Class>-->
 
 <rdfs:Class rdf:about="&hns;Position">
      <rdfs:comment>Positions of occurrences of an object inside an object</rdfs:comment>
@@ -109,40 +111,40 @@ of CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
 
 <!-- Instances of the class h:Position -->
 
-<h:Position rdf:about="&hns;MainHypothesis">
+<rdfs:Class rdf:about="&hns;MainHypothesis">
     <rdfs:comment>Occurrences of an object in head position of some hypothesis 
      of an object statement</rdfs:comment>
-    <rdf:type rdf:resource="&rdfsns;Class"/>
+    <rdf:type rdf:resource="&hns;Position"/>
     <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</h:Position>
+</rdfs:Class>
 
-<h:Position rdf:about="InHypothesis">
+<rdfs:Class rdf:about="&hns;InHypothesis">
     <rdfs:comment>Occurrences of an object in the hypotheses of an object 
      statement</rdfs:comment>
-    <rdf:type rdf:resource="&rdfsns;Class"/>
+    <rdf:type rdf:resource="&hns;Position"/>
     <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</h:Position>
+</rdfs:Class>
 
-<h:Position rdf:about="&hns;MainConclusion">
+<rdfs:Class rdf:about="&hns;MainConclusion">
     <rdfs:comment>Occurrences of an object in head position of the 
      conclusion of an object statement</rdfs:comment>
-    <rdf:type rdf:resource="&rdfsns;Class"/>
+    <rdf:type rdf:resource="&hns;Position"/>
     <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</h:Position>
+</rdfs:Class>
 
-<h:Position rdf:about="&hns;InConclusion">
+<rdfs:Class rdf:about="&hns;InConclusion">
     <rdfs:comment>Occurrences of an object in the conclusion of an object
      statement</rdfs:comment>  
-    <rdf:type rdf:resource="&rdfsns;Class"/>
+    <rdf:type rdf:resource="&hns;Position"/>
     <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</h:Position>
+</rdfs:Class>
 
-<h:Position rdf:about="&hns;InBody">
+<rdfs:Class rdf:about="&hns;InBody">
     <rdfs:comment>Occurrences of an object only in an object body (not in the 
      statement)</rdfs:comment>
-    <rdf:type rdf:resource="&rdfsns;Class"/>
+    <rdf:type rdf:resource="&hns;Position"/>
     <rdfs:isDefinedBy rdf:resource = "&hns;" />
-</h:Position>
+</rdfs:Class>
 
 <!-- Properties -->
 
@@ -192,7 +194,14 @@ of CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
 <rdf:Property rdf:about="&hns;refObj">
     <rdfs:comment>Reference to an object</rdfs:comment>
     <rdfs:domain rdf:resource="&hns;Object"/>
-    <rdfs:range rdf:resource="&hns;Occurrence"/>
+<!--    <rdfs:range rdf:resource="&hns;Occurrence"/>-->
+    <rdfs:isDefinedBy rdf:resource = "&hns;" />
+</rdf:Property>
+
+<rdf:Property rdf:about="&hns;occurrence">
+    <rdfs:comment>Position of an occurrence</rdfs:comment>
+<!--    <rdfs:domain rdf:resource="&hns;Occurrence"/>-->
+    <rdfs:range rdf:resource="&hthns;HelmURI"/>
     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
@@ -220,18 +229,17 @@ of CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
 <rdf:Property rdf:about="&hns;backPointer">
     <rdfs:comment>Backwards pointer: who points the object</rdfs:comment>
     <rdfs:domain rdf:resource="&hns;Object"/>
-    <rdfs:range rdf:resource="&hns;Occurrence"/>
+<!--    <rdfs:range rdf:resource="&hns;Occurrence"/> -->
     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
 <rdf:Property rdf:about="&hns;position">
     <rdfs:comment>Position of an occurrence</rdfs:comment>
-    <rdfs:domain rdf:resource="&hns;Occurrence"/>
+<!--    <rdfs:domain rdf:resource="&hns;Occurrence"/>-->
     <rdfs:range rdf:resource="&hns;Position"/>
     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
-
 <rdf:Property rdf:about="&hns;postit">
     <rdfs:comment>Postit</rdfs:comment>
     <rdfs:domain rdf:resource="&hns;Object"/>
diff --git a/helm/schemas/schema-hth b/helm/schemas/schema-hth
index cd1e8fe28..2c51c8cc8 100644
--- a/helm/schemas/schema-hth
+++ b/helm/schemas/schema-hth
@@ -35,7 +35,7 @@ xmlns:hth="http://www.cs.unibo.it/~schena/schema-hth#" -->
       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:relation rdf:resource="http://www.cs.unibo.it/helm/"/>
   <dcq:isRequiredBy rdf:resource="&hns;"/>
   <dcq:conformsTo rdf:resource="http://www.w3.org/RDF/"/>
   <dcq:issued>2000-6-3</dcq:issued>
@@ -122,6 +122,16 @@ identifiers</rdfs:comment>
 <!--  SubProperties of dc:description, dc:creator, dc:relation and 
       hth:dependence                                               -->
 
+<!-- SubProperty of dc:title -->
+<rdf:Property rdf:about="&hthns;shortName">
+    <rdfs:comment>Short name (alias) of the mathematical resource</rdfs:comment>
+    <rdfs:subPropertyOf rdf:resource="&dcns;title"/>
+    <rdfs:domain rdf:resource="&hthns;MathResource"/>
+    <rdfs:range rdf:resource="&xschemans;string"/>
+    <rdfs:isDefinedBy rdf:resource = "&hthns;" /> 
+</rdf:Property>
+
+
 <!-- There are also dcq:created and dcq:modified dc:date subProperties -->
 <rdf:Property rdf:ID="firstVersion">
     <rdfs:comment>Any additional information about the first version of the
-- 
2.39.2