]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c
Minor bug fixes:
[helm.git] / helm / metadata / create_V7_mowgli / METADATA / sthandler_ind.c
index d49863f5bbe33d75b687b678afe3d241ba62f014..3f391a79e5a8cc465b491f9c138e6d67b43377c8 100644 (file)
@@ -270,7 +270,7 @@ print_mainhyp(about,out,outrel,outsort,uri,l)
          {
             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;
@@ -309,7 +309,7 @@ print_mainconcl(about,out,outrel,outsort,uri,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,"\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")) ||
@@ -320,7 +320,7 @@ print_mainconcl(about,out,outrel,outsort,uri,depth)
         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");