From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 20 Nov 2002 18:42:08 +0000 (+0000)
Subject: rdf:parseType="Resource" added to backPointer
X-Git-Tag: V_0_0_5~18
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=66c50baafd4917cc8d5cd1c890edee5ae200265c;p=helm.git

rdf:parseType="Resource" added to backPointer
---

diff --git a/helm/metadata/create_V7_mowgli/invert.pl b/helm/metadata/create_V7_mowgli/invert.pl
index a20e52d9d..902479920 100755
--- a/helm/metadata/create_V7_mowgli/invert.pl
+++ b/helm/metadata/create_V7_mowgli/invert.pl
@@ -28,7 +28,7 @@ while(($line1 = <IN>) && not ($line1 =~ /<\/h:Object>/)) { # <h:refObj
   $line4 =~ s/\Q$uri\E/$where/;
    
   open(OUT, ">>$who") or die "Error opening file $who";
-  print OUT "\t\t<h:backPointer>\n";
+  print OUT "\t\t<h:backPointer rdf:parseType="Resource">\n";
   print OUT $line2;
   if ($position eq 'MainHypothesis' || $position eq 'MainConclusion') {
      print OUT $line3;