From: Claudio Sacerdoti Coen Date: Mon, 1 Oct 2001 09:52:16 +0000 (+0000) Subject: First implementation of graphs stuff. Working on my notebook, X-Git-Tag: v0_1_3~82 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=62d28bd640cfa5ca3c9f7c82f53d5df060e9f3c8;p=helm.git First implementation of graphs stuff. Working on my notebook, probably not working on-line, yet. --- diff --git a/helm/style/mk_dep_graph.xsl b/helm/style/mk_dep_graph.xsl new file mode 100644 index 000000000..251dc653d --- /dev/null +++ b/helm/style/mk_dep_graph.xsl @@ -0,0 +1,179 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + +]> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + http://localhost:8083/draw?url=http%3A//localhost%3A8080/helm/servlet/uwobo/apply%3Fxmluri%3Dhttp%3A//localhost%3A8081/getxml%253Furi%253D%26keys%3DMDG%26param.getterURL%3Dhttp%253A//localhost%253A8081/%26prop.media-type%3Dtext/plain%26param.CICURI%3D&CSCbr; + + http://localhost:8083/draw?url=http%3A%2F%2Flocalhost%3A8080%2Fhelm%2Fservlet%2Fuwobo%2Fapply%3Fxmluri%3Dhttp%3A%2F%2Flocalhost%3A8081%2Fgetxml%253Furi%253Dhelm%3Ardf%3Awww%2Ecs%2Eunibo.it/helm/rdf/rdfprova//%26keys%3DMMG%26param.getterURL%3Dhttp%253A//localhost%253A8081/%26prop.media-type%3Dtext/plain%26param.CICURI%3D%26keys%3DMMG%26param%2EgetterURL%3Dhttp%253A%2F%2Flocalhost%253A8081%2F%26prop%2Emedia%2Dtype%3Dtext%2Fplain%26param%2ECICURI%3D&CSCbr; + + file:///projects/helm/on-line/html/cic/index.html?url=http://localhost:8080/helm/servlet/uwobo/apply%3Fkeys%3DC1%252CHC2%252CL%26prop.media-type%3Dtext/html%26prop.encoding%3Diso-8859-1%26param.naturalLanguage%3Dyes%26param.UNICODEvsSYMBOL%3Dsymbol%26param.annotations%3DNO%26prop.doctype-public%3D-//W3C//DTD%2520XHTML%25201.0%2520Transitional//EN%26param.doctype-public%3D-//W3C//DTD%2520XHTML%25201.0%2520Transitional//EN%26param.encoding%3Diso-8859-1%26param.media-type%3Dtext/html%26param.keys%3DC1%252CHC2%252CL%26param.getterURL%3Dhttp://localhost:8081/%26param.processorURL%3Dhttp://localhost:8080/helm/servlet/uwobo/%26param.interfaceURL%3Dfile:///projects/helm/on-line/html/cic/index.html%26param.topurl%3Dfile:///projects/helm/on-line%26xmluri%3Dhttp://localhost:8081/getxml%253Furi%253D%26param.CICURI%3D&CSCbr; + + strict digraph L0 { size = "83,83"; node [style=filled, shape = box];&CSCbr; + + + + + } + + + + + + + + + + + + + + + + + + + + + + + + + + [label=" + + ",URL=" + + " + + ,color=red + + ];&CSCbr; + + + + + + + + + + + + + + + + + + + + + + -> + + ;&CSCbr; + + + + + + + + + + + diff --git a/helm/style/mk_meta_graph.xsl b/helm/style/mk_meta_graph.xsl new file mode 100644 index 000000000..91319473b --- /dev/null +++ b/helm/style/mk_meta_graph.xsl @@ -0,0 +1,190 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + +]> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + http://localhost:8083/draw?url=http%3A//localhost%3A8080/helm/servlet/uwobo/apply%3Fxmluri%3Dhttp%3A//localhost%3A8081/getxml%253Furi%253D%26keys%3DMDG%26param.getterURL%3Dhttp%253A//localhost%253A8081/%26prop.media-type%3Dtext/plain%26param.CICURI%3D&CSCbr; + + http://localhost:8083/draw?url=http%3A%2F%2Flocalhost%3A8080%2Fhelm%2Fservlet%2Fuwobo%2Fapply%3Fxmluri%3Dhttp%3A%2F%2Flocalhost%3A8081%2Fgetxml%253Furi%253Dhelm%3Ardf%3Awww%2Ecs%2Eunibo.it/helm/rdf/rdfprova//%26keys%3DMMG%26param.getterURL%3Dhttp%253A//localhost%253A8081/%26prop.media-type%3Dtext/plain%26param.CICURI%3D%26keys%3DMMG%26param%2EgetterURL%3Dhttp%253A%2F%2Flocalhost%253A8081%2F%26prop%2Emedia%2Dtype%3Dtext%2Fplain%26param%2ECICURI%3D&CSCbr; + + file:///projects/helm/on-line/html/cic/index.html?url=http://localhost:8080/helm/servlet/uwobo/apply%3Fkeys%3DC1%252CHC2%252CL%26prop.media-type%3Dtext/html%26prop.encoding%3Diso-8859-1%26param.naturalLanguage%3Dyes%26param.UNICODEvsSYMBOL%3Dsymbol%26param.annotations%3DNO%26prop.doctype-public%3D-//W3C//DTD%2520XHTML%25201.0%2520Transitional//EN%26param.doctype-public%3D-//W3C//DTD%2520XHTML%25201.0%2520Transitional//EN%26param.encoding%3Diso-8859-1%26param.media-type%3Dtext/html%26param.keys%3DC1%252CHC2%252CL%26param.getterURL%3Dhttp://localhost:8081/%26param.processorURL%3Dhttp://localhost:8080/helm/servlet/uwobo/%26param.interfaceURL%3Dfile:///projects/helm/on-line/html/cic/index.html%26param.topurl%3Dfile:///projects/helm/on-line%26xmluri%3Dhttp://localhost:8081/getxml%253Furi%253D%26param.CICURI%3D&CSCbr; + + strict digraph L0 { size = "83,83"; node [style=filled, shape = box];&CSCbr; + + + + } + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + [label=" + + ",URL=" + + " + + ,color=red + + ];&CSCbr; + + + + + + + + + + + + + + + + + + + + + + -> + + ;&CSCbr; + + + + + +