FILE *outrel, *outsort;
init_symbol_table();
- if (!(outrel = fopen("forward_rel.rdf","a")))
+ if (!(outrel = fopen("forward_rel.xml","a")))
{
- fprintf(stderr, "error in openinf file forward_rel.rdf\n");
+ fprintf(stderr, "error in opening file forward_rel.xml\n");
exit(-1);
}
- if (!(outsort = fopen("forward_sort.rdf","a")))
+ if (!(outsort = fopen("forward_sort.xml","a")))
{
- fprintf(stderr, "error in openinf file forward_rel.rdf\n");
+ fprintf(stderr, "error in opening file forward_sort.xml\n");
exit(-1);
}
// We process the body
fprintf(stderr, "error in openinf file %s\n", filename);
exit(-1);
}
- if (!(outrel = fopen("forward_rel.rdf","a")))
+ if (!(outrel = fopen("forward_rel.xml","a")))
{
- fprintf(stderr, "error in openinf file forward_rel.rdf\n");
+ fprintf(stderr, "error in opening file forward_rel.xml\n");
exit(-1);
}
- if (!(outsort = fopen("forward_sort.rdf","a")))
+ if (!(outsort = fopen("forward_sort.xml","a")))
{
- fprintf(stderr, "error in openinf file forward_rel.rdf\n");
+ fprintf(stderr, "error in opening file forward_sort.xml\n");
exit(-1);
}
{
fprintf(outsort,"\t\t<h:refSort rdf:parseType=\"Resource\">");
fprintf(outsort,"\n\t\t\t\t<h:position rdf:resource=\"&hns;MainHypothesis\"/>");
- fprintf(outsort,"\n\t\t\t\t<h:sort rdf:resource=\"&hns;%s\">",uri);
+ fprintf(outsort,"\n\t\t\t\t<h:sort rdf:resource=\"&hns;%s\"/>",uri);
fprintf(outsort,"\n\t\t\t\t<h:depth>%d</h:depth>",curr->val);
fprintf(outsort,"\n\t\t</h:refSort>\n");
curr = curr->next;
fprintf(outrel,"\t\t<h:refRel rdf:parseType=\"Resource\">");
fprintf(outrel,"\n\t\t\t\t<h:position rdf:resource=\"&hns;MainConclusion\"/>");
fprintf(outrel,"\n\t\t\t\t<h:depth>%d</h:depth>",depth);
- fprintf(outrel,"\n\t\t</h:refObj>\n");
+ fprintf(outrel,"\n\t\t</h:refRel>\n");
fprintf(outrel,"\t</h:Object>\n");
}
else if ((!strcmp(uri,"Prop")) || (!strcmp(uri,"Type")) ||
fprintf(outsort,"\">\n");
fprintf(outsort,"\t\t<h:refSort rdf:parseType=\"Resource\">");
fprintf(outsort,"\n\t\t\t\t<h:position rdf:resource=\"&hns;MainConclusion\"/>");
- fprintf(outsort,"\n\t\t\t\t<h:sort>%s</h:sort>",uri);
+ fprintf(outsort,"\n\t\t\t\t<h:sort rdf:resource=\"&hns;%s\"/>",uri);
fprintf(outsort,"\n\t\t\t\t<h:depth>%d</h:depth>",depth);
fprintf(outsort,"\n\t\t</h:refSort>\n");
fprintf(outsort,"\t</h:Object>\n");
{
fprintf(outsort,"\t\t<h:refSort rdf:parseType=\"Resource\">");
fprintf(outsort,"\n\t\t\t\t<h:position rdf:resource=\"&hns;MainHypothesis\"/>");
- fprintf(outsort,"\n\t\t\t\t<h:sort rdf:resource=\"&hns;%s\">",uri);
+ fprintf(outsort,"\n\t\t\t\t<h:sort rdf:resource=\"&hns;%s\"/>",uri);
fprintf(outsort,"\n\t\t\t\t<h:depth>%d</h:depth>",curr->val);
fprintf(outsort,"\n\t\t</h:refSort>\n");
curr = curr->next;
fprintf(outrel,"\t\t<h:refRel rdf:parseType=\"Resource\">");
fprintf(outrel,"\n\t\t\t\t<h:position rdf:resource=\"&hns;MainConclusion\"/>");
fprintf(outrel,"\n\t\t\t\t<h:depth>%d</h:depth>",depth);
- fprintf(outrel,"\n\t\t</h:refObj>\n");
+ fprintf(outrel,"\n\t\t</h:refRel>\n");
fprintf(outrel,"\t</h:Object>\n");
}
else if ((!strcmp(uri,"Prop")) || (!strcmp(uri,"Type")) ||
fprintf(outsort,"\">\n");
fprintf(outsort,"\t\t<h:refSort rdf:parseType=\"Resource\">");
fprintf(outsort,"\n\t\t\t\t<h:position rdf:resource=\"&hns;MainConclusion\"/>");
- fprintf(outsort,"\n\t\t\t\t<h:sort>%s</h:sort>",uri);
+ fprintf(outsort,"\n\t\t\t\t<h:sort rdf:resource=\"&hns;%s\"/>",uri);
fprintf(outsort,"\n\t\t\t\t<h:depth>%d</h:depth>",depth);
fprintf(outsort,"\n\t\t</h:refSort>\n");
fprintf(outsort,"\t</h:Object>\n");