3 $filename = $uri = $ARGV[0];
4 $outputfile = $filename.".xml";
5 $uri =~ s/^backward/cic:/;
6 $uri =~ s/(.*),([^,]*),([^,]*)/$1#xpointer(1\/$2\/$3)/;
7 $uri =~ s/(.*),([^,]*)/$1#xpointer(1\/$2)/;
9 print "Now processing file $filename\n";
11 open(HEADER,">>$outputfile");
13 <?xml version="1.0" encoding="ISO-8859-1"?>
16 <!ENTITY rdfns 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
17 <!ENTITY hthns 'http://www.cs.unibo.it/helm/schemas/schema-helmth#'>
18 <!ENTITY hns 'http://www.cs.unibo.it/helm/schemas/schema-helm#'>
21 <rdf:RDF xml:lang="en" xmlns:rdf="&rdfns;" xmlns:h="&hns;" xmlns:hth="&hthns;">
22 <h:Object rdf:about="$uri">
26 $quotedfilename = $filename;
27 $quotedfilename =~ s/'/\\'/g;
28 $quotedoutputfile = $outputfile;
29 $quotedoutputfile =~ s/'/\\'/g;
30 system("cat $quotedfilename >> $quotedoutputfile");
32 open(FOOTER,">>$outputfile");