return document.proofcheckerURL.elements[0].value;
}
+function getSearchEngineURL()
+{
+ return document.searchengineURL.elements[0].value;
+}
+
function getDrawGraphURL()
{
return document.draw_graphURL.elements[0].value;
return document.rdflyURL.elements[0].value;
}
+function getInterfaceURL()
+{
+ return document.interfaceURL.elements[0].value;
+}
+
function getUNICODEvsSYMBOL()
{
if (document.UNICODEvsSYMBOL.radioUNICODEvsSYMBOL[0].checked)
'¶m.uri_set_queueURL=' + escape(getURISetQueueURL()) +
'¶m.draw_graphURL=' + escape(getDrawGraphURL()) +
'¶m.proofcheckerURL=' + escape(getProofCheckerURL()) +
+ '¶m.searchengineURL=' + escape(getSearchEngineURL()) +
'¶m.rdflyURL=' + escape(getRdflyURL()) +
+ '¶m.interfaceURL=' + escape(getInterfaceURL()) +
'¶m.naturalLanguage=' + escape(getNaturalLanguage()) +
'¶m.uri_set_size=' + escape(getMaxGraphSize()) +
'¶m.UNICODEvsSYMBOL=' + escape(getUNICODEvsSYMBOL());
}
}
+function selectSearchEngineURL(ss)
+{
+ if (ss.selectedIndex == 0) {
+ document.searchengineURL.elements[0].value = "";
+ } else {
+ document.searchengineURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58085/";
+ }
+}
+
function selectDrawGraphURL(ss)
{
if (ss.selectedIndex == 0) {
}
}
+function selectInterfaceURL(ss)
+{
+ if (ss.selectedIndex == 0) {
+ document.interfaceURL.elements[0].value = "";
+ } else {
+ document.interfaceURL.elements[0].value = "http://helm.cs.unibo.it/helm";
+ }
+}
+
function selectProfile(ss, interfaceURL)
{
location = getUwoboURL() +