]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/xslt/metadataLib.xsl
RDFURI removed because no more unique.
[helm.git] / helm / on-line / xslt / metadataLib.xsl
index e3d2493211cb1ea47ec7c3cecd765d382e9fd257..202a3d4838abc0cc13493ef445b27fd28134a378 100644 (file)
@@ -8,8 +8,6 @@
 <xsl:param name="getterURL" select="''"/>
 <xsl:param name="draw_graphURL" select="''"/>
 
-<xsl:variable name="rawCICURI" select="$CICURI"/>
-
 <xsl:template match="/">
  <html>
   <head>
@@ -53,7 +51,7 @@
  <xsl:param name="RDFURI" select="''"/>
  <p>
   <script>
-   var RDFURI = "<xsl:value-of select="$RDFURI"/>";
+   var RDFURI = "helm:rdf:www.cs.unibo.it/helm/rdf/backward//<xsl:value-of select="$RDFURI"/>";
    var getterURL = "<xsl:value-of select="$getterURL"/>";
 <![CDATA[
    var url = setParam(location.href,"keys","meta_theory%2CT1%2CT2%2CL%2CE");
@@ -65,7 +63,7 @@
  <p>
   <script>
    var CICURI = "<xsl:value-of select="$CICURI"/>";
-   var RDFURI = "<xsl:value-of select="$RDFURI"/>";
+   var RDFURI = "helm:rdf:www.cs.unibo.it/helm/rdf/backward//<xsl:value-of select="$RDFURI"/>";
    var getterURL = "<xsl:value-of select="$getterURL"/>";
    var draw_graphURL = "<xsl:value-of select="$draw_graphURL"/>";
 <![CDATA[
  </p>
  <xsl:apply-templates select="." mode="mk_dep_graph">
   <xsl:with-param name="CICURI" select="$CICURI"/>
+  <xsl:with-param name="RDFURI" select="$RDFURI"/>
  </xsl:apply-templates>
 </xsl:template>
 
 <xsl:template match="*" mode="mk_dep_graph">
  <xsl:param name="CICURI" select="''"/>
+ <xsl:param name="RDFURI" select="''"/>
  <p>
   <script>
    var CICURI = "<xsl:value-of select="$CICURI"/>";
-   var rawCICURI = "<xsl:value-of select="$rawCICURI"/>";
+   var RDFURI = "helm:rdf:www.cs.unibo.it/helm/rdf/forward//<xsl:value-of select="$RDFURI"/>";
    var getterURL = "<xsl:value-of select="$getterURL"/>";
    var draw_graphURL = "<xsl:value-of select="$draw_graphURL"/>";
 <![CDATA[
    var url = setParam(location.href,"keys","MDG");
-   url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' + rawCICURI);
+   url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' + RDFURI);
    url = setParam(url,"param.CICURI",escape(CICURI));
    url = draw_graphURL + 'draw?url=' + escape(url);
    var url2 = setParam(location.href,"keys","ML2,RT");