- fprintf(outrel,"\t<h:Object rdf:about=\"");
- fprintf(outrel,"%s",about);
- fprintf(outrel,"\">\n");
+ fprintf(outrel,"\t<h:Object rdf:about=\"");
+ fprintf(outrel,"%s",about);
+ fprintf(outrel,"\">\n");
fprintf(outrel,"\t\t<h:refRel rdf:parseType=\"Resource\">");
fprintf(outrel,"\n\t\t\t\t<h:position rdf:resource=\"&hns;MainHypothesis\"/>");
fprintf(outrel,"\n\t\t\t\t<h:depth>%d</h:depth>",curr->val);
fprintf(outrel,"\n\t\t</h:refRel>\n");
fprintf(outrel,"\t\t<h:refRel rdf:parseType=\"Resource\">");
fprintf(outrel,"\n\t\t\t\t<h:position rdf:resource=\"&hns;MainHypothesis\"/>");
fprintf(outrel,"\n\t\t\t\t<h:depth>%d</h:depth>",curr->val);
fprintf(outrel,"\n\t\t</h:refRel>\n");
- fprintf(outsort,"\t<h:Object rdf:about=\"");
- fprintf(outsort,"%s",about);
- fprintf(outsort,"\">\n");
+ fprintf(outsort,"\t<h:Object rdf:about=\"");
+ fprintf(outsort,"%s",about);
+ fprintf(outsort,"\">\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,"\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:depth>%d</h:depth>",curr->val);
fprintf(outsort,"\n\t\t</h:refSort>\n");
fprintf(outsort,"\n\t\t\t\t<h:depth>%d</h:depth>",curr->val);
fprintf(outsort,"\n\t\t</h:refSort>\n");
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,"\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,"\t</h:Object>\n");
}
else if ((!strcmp(uri,"Prop")) || (!strcmp(uri,"Type")) ||
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");
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:depth>%d</h:depth>",depth);
fprintf(outsort,"\n\t\t</h:refSort>\n");
fprintf(outsort,"\t</h:Object>\n");
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(out,"\t\t<h:refObj rdf:parseType=\"Resource\">");
fprintf(out,"\n\t\t\t\t<h:position rdf:resource=\"&hns;MainConclusion\"/>");
{
fprintf(out,"\t\t<h:refObj rdf:parseType=\"Resource\">");
fprintf(out,"\n\t\t\t\t<h:position rdf:resource=\"&hns;MainConclusion\"/>");