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>
<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
<!-- 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
<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>
<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>
<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>
<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>