From 0a84547a2daf113ae28439c504e2733425e2b762 Mon Sep 17 00:00:00 2001
From: Irene Schena <irene.schena@unibo.it>
Date: Fri, 22 Nov 2002 13:15:49 +0000
Subject: [PATCH] Modified Files: 1)schema-h schema-hth: updated

---
 helm/schemas/schema-h   |  4 ++--
 helm/schemas/schema-hth | 16 +++++++++-------
 2 files changed, 11 insertions(+), 9 deletions(-)

diff --git a/helm/schemas/schema-h b/helm/schemas/schema-h
index 290fab667..c852385f4 100644
--- a/helm/schemas/schema-h
+++ b/helm/schemas/schema-h
@@ -201,7 +201,7 @@ of CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
 <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:range rdf:resource="&hns;Object"/>
     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
@@ -258,7 +258,7 @@ of CIC XML files, contained in the tree that has the dir as root </rdfs:comment>
     <rdfs:comment>Identifies the object fragment (Xpointer) which Postit
 refers to</rdfs:comment>
     <rdfs:domain rdf:resource="&hns;Postit"/>
-    <rdfs:range rdf:resource="&hthns;HelmURI"/>
+    <rdfs:range rdf:resource="&hns;Object"/>
     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
diff --git a/helm/schemas/schema-hth b/helm/schemas/schema-hth
index 2c51c8cc8..10e20c083 100644
--- a/helm/schemas/schema-hth
+++ b/helm/schemas/schema-hth
@@ -68,14 +68,16 @@ xmlns:hth="http://www.cs.unibo.it/~schena/schema-hth#" -->
      <rdfs:isDefinedBy rdf:resource = "&hthns;" />
 </rdfs:Class>
 
-<!-- Subclass of dcq:URI, dct:Text and dct:Software -->
+<!-- Subclass of dct:Text and dct:Software -->
 
-<rdfs:Class rdf:about="&hthns;HelmURI">
+<!-- Non necessario: uso direttamente la MathResource interessata per non
+intendere implicitamente le stesse entita' (introduco cicli espliciti). -->
+<!--<rdfs:Class rdf:about="&hthns;HelmURI">
      <rdfs:comment>HELM URIs of a mathematical resource. Subclass of dcq:URI 
 which is an instance of the IdentifierScheme class</rdfs:comment>
      <rdfs:subClassOf rdf:resource="&dcqns;URI"/> 
      <rdfs:isDefinedBy rdf:resource = "&hthns;" />
-</rdfs:Class>
+</rdfs:Class>-->
 
 <rdfs:Class rdf:about="&hthns;HELMText">
      <rdfs:comment>HELM File text types of a mathematical resource (possible 
@@ -171,7 +173,7 @@ resource</rdfs:comment>
     <rdfs:comment>A relation between mathematical resources</rdfs:comment>
     <rdfs:subPropertyOf rdf:resource="&dcns;relation"/>
     <rdfs:domain rdf:resource="&hthns;MathResource"/>
-    <rdfs:range rdf:resource="&hthns;HelmURI"/>  
+    <rdfs:range rdf:resource="&hthns;MathResource"/>  
     <rdfs:isDefinedBy rdf:resource = "&hthns;" />
 </rdf:Property>
 
@@ -179,7 +181,7 @@ resource</rdfs:comment>
     <rdfs:comment>A relation between mathematical resources</rdfs:comment>
     <rdfs:subPropertyOf rdf:resource="&dcns;relation"/>
     <rdfs:domain rdf:resource="&hthns;MathResource"/>
-    <rdfs:range rdf:resource="&hthns;HelmURI"/>
+    <rdfs:range rdf:resource="&hthns;MathResource"/>
     <rdfs:isDefinedBy rdf:resource = "&hthns;" />
 </rdf:Property>
 
@@ -187,7 +189,7 @@ resource</rdfs:comment>
     <rdfs:comment>A relation between mathematical resources</rdfs:comment>
     <rdfs:subPropertyOf rdf:resource="&dcns;relation"/>
     <rdfs:domain rdf:resource="&hthns;MathResource"/>
-    <rdfs:range rdf:resource="&hthns;HelmURI"/>
+    <rdfs:range rdf:resource="&hthns;MathResource"/>
     <rdfs:isDefinedBy rdf:resource = "&hthns;" />
 </rdf:Property>
 
@@ -195,7 +197,7 @@ resource</rdfs:comment>
     <rdfs:comment>A relation between mathematical resources</rdfs:comment>
     <rdfs:subPropertyOf rdf:resource="&dcns;relation"/>
     <rdfs:domain rdf:resource="&hthns;MathResource"/>
-    <rdfs:range rdf:resource="&hthns;HelmURI"/>
+    <rdfs:range rdf:resource="&hthns;MathResource"/>
     <rdfs:isDefinedBy rdf:resource = "&hthns;" />
 </rdf:Property>
 
-- 
2.39.2