X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fschemas%2Fschema-hth;h=10e20c08308f1dad0aaaa609b4d4ad11e53313ad;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=cd1e8fe2843f94401d00a9e18ef8b7dba0090c1f;hpb=71c844edbf4d0c6eeafd10931aceb3f9f8ff5136;p=helm.git

diff --git a/helm/schemas/schema-hth b/helm/schemas/schema-hth
index cd1e8fe28..10e20c083 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>
@@ -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 
@@ -122,6 +124,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
@@ -161,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>
 
@@ -169,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>
 
@@ -177,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>
 
@@ -185,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>