if (output == "raw") {
var ext = "";
+ var rdfprefix = "";
if (format == "types") ext = ".types"
- else if (format == "ann") ext = ".ann";
- url = getterURL + "getxml?uri=" + uri + ext + "&format=" + mode_list[5] +
- "&patch_dtd=" + mode_list[6];
+ else if (format == "ann") ext = ".ann"
+ else if (format == "fwd") rdfprefix = "helm:rdf:www.cs.unibo.it/helm/rdf/forward//"
+ else if (format == "bwd") rdfprefix = "helm:rdf:www.cs.unibo.it/helm/rdf/backward//";
+ url = getterURL + "getxml?uri=" + rdfprefix + uri + ext + "&format=" +
+ mode_list[5] + "&patch_dtd=" + mode_list[6];
} else {
if (format == "html" && type == "cic") {
//Important note: do not modify this function without modifying