Before it had to be helm:rdf/:...
sub isRdfUri { # return true if the uri is an rdf uri, false otherwise
# typycal rdf uri:
# helm:rdf/cic:www.cs.unibo.it/helm/rdf/foo_schema//cic:\
sub isRdfUri { # return true if the uri is an rdf uri, false otherwise
# typycal rdf uri:
# helm:rdf/cic:www.cs.unibo.it/helm/rdf/foo_schema//cic:\
-# /Coq/Init/Logic/True_rec.con.types.xml.gz
+# /Coq/Init/Logic/True_rec.con.types
#
# the format is "helm:rdf/<metadata_tree>:<metadata_scheme>//<xml_file_uri>"
#
my ($uri) = @_;
#
# the format is "helm:rdf/<metadata_tree>:<metadata_scheme>//<xml_file_uri>"
#
my ($uri) = @_;
- if ($uri =~ /^helm:rdf\/(.*):?(.*)\/\/(.*)/) {
+ if ($uri =~ /^helm:rdf(.*):?(.*)\/\/(.*)/) {
return 1;
} else {
return 0;
return 1;
} else {
return 0;