]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/xslt/demultiplexMutual.xsl
RDFURI removed because no more unique.
[helm.git] / helm / on-line / xslt / demultiplexMutual.xsl
index 370483392f3dbf09d94f94be7eecf8fd23ec8f77..30beaeb614aacf1391ffc61bf137789465073243 100644 (file)
        doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
        doctype-system="http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" />
 
-<xsl:param name="RDFURI" select="''"/>
-
 <xsl:include href="metadataLib.xsl"/>
 
-<xsl:variable name="url" select="concat($getterURL,'resolve?uri=')"/>
+<xsl:variable name="url" select="concat($getterURL,'resolve?uri=helm:rdf:www.cs.unibo.it/helm/rdf/forward//')"/>
 
 <xsl:template match="InductiveDefinition">
  <xsl:for-each select="InductiveType">
   <xsl:variable name="CICURIInductiveType" select="concat($CICURI,'#xpointer(1/',position())"/>
-  <xsl:variable name="RDFURIInductiveType" select="concat($RDFURI,',',position())"/>
+  <xsl:variable name="RDFURIInductiveType" select="concat($CICURI,',',position())"/>
   <h3>Metadata related to <xsl:value-of select="@name"/>:</h3>
   <xsl:apply-templates select="document(concat($url,$RDFURIInductiveType))" mode="makelink">
    <xsl:with-param name="name" select="@name"/>