]> matita.cs.unibo.it Git - helm.git/blob - helm/metadata/create/fix_rdf.pl
Repository created.
[helm.git] / helm / metadata / create / fix_rdf.pl
1 #!/usr/bin/perl
2
3 $filename = $uri = $ARGV[0];
4 $outputfile = $filename.".xml";
5 $uri =~ s/^rdf/cic:/;
6 $uri =~ s/(.*),([^,]*),([^,]*)/$1#xpointer(1\/$2\/$3)/;
7 $uri =~ s/(.*),([^,]*)/$1#xpointer(1\/$2)/;
8
9 print "Now processing file $filename\n";
10
11 open(HEADER,">>$outputfile");
12 print HEADER <<EOT;
13 <?xml version="1.0" encoding="UTF-8"?>
14 <occurs who="$uri">
15 EOT
16 close(HEADER);
17
18 system("cat $filename >> $outputfile");
19
20 open(FOOTER,">>$outputfile");
21 print FOOTER <<EOT;
22 </occurs>
23 EOT
24 close(FOOTER);
25
26 unlink $filename;