X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate_V7_mowgli%2FMETADATA%2Fsthandler_ind.c;h=bfdc795d56e9f71717cb8088e57f78f3cfea6ef4;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=d49863f5bbe33d75b687b678afe3d241ba62f014;hpb=cb9f345924b8595b2e4922326ff335af133e46ce;p=helm.git

diff --git a/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c b/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c
index d49863f5b..bfdc795d5 100644
--- a/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c
+++ b/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c
@@ -245,37 +245,37 @@ print_mainhyp(about,out,outrel,outsort,uri,l)
     curr = l;
     if (!strcmp(uri,"Rel"))
       {
-        fprintf(outrel,"\t<h:Object rdf:about=\"");
-        fprintf(outrel,"%s",about);
-        fprintf(outrel,"\">\n");
         /* scan the list */
         while (curr != NULL)
 	  {
+            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</h:Object>\n");
             curr = curr->next;
 	  }
-	fprintf(outrel,"\t</h:Object>\n");
       }
    else if ((!strcmp(uri,"Prop")) || (!strcmp(uri,"Type")) ||
             (!strcmp(uri,"Set")))
       {
         /* scan the list */
-        fprintf(outsort,"\t<h:Object rdf:about=\"");
-        fprintf(outsort,"%s",about);
-        fprintf(outsort,"\">\n");
         while (curr != NULL)
 	  {
+            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,"\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");
+	    fprintf(outsort,"\t</h:Object>\n");
             curr = curr->next;
 	  }
-	fprintf(outsort,"\t</h:Object>\n");
       }
     else 
      {
@@ -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");
@@ -329,8 +329,8 @@ print_mainconcl(about,out,outrel,outsort,uri,depth)
       {
 	fprintf(out,"\t\t<h:refObj rdf:parseType=\"Resource\">");
 	fprintf(out,"\n\t\t\t\t<h:position rdf:resource=\"&hns;MainConclusion\"/>");
-	fprintf(out,"\n\t\t\t\t<h:occurrence><h:Object rdf:about=\"%s\"/></h:occurrence>",uri);
 	fprintf(out,"\n\t\t\t\t<h:depth>%d</h:depth>",depth);
+	fprintf(out,"\n\t\t\t\t<h:occurrence><h:Object rdf:about=\"%s\"/></h:occurrence>",uri);
 	fprintf(out,"\n\t\t</h:refObj>\n");
       }
 }