helm/on-line/html/configuration.html

   1 <?xml version="1.0"?>
   2
   3 <html xmlns="http://www.w3.org/1999/xhtml" xmlns:uwobo="http://helm.cs.unibo.it/uwobo">
   4
   5 <head>
   6 <title>Configuration</title>
   7 <style type="text/css">
   8 #normal { background-color: white; font-family: sans-serif }
   9 td.head { font-weight: bold; background-color: #e6e6fa; color: brown }
  10 td.back { background-color: #e6e6fa; color: brown }
  11 #indent { margin-left: 1cm; margin-right: 1cm }
  12 #centered { text-align: center }
  13 div.center { text-align: center }
  14 </style>
  15
  16 <script language="JavaScript" src="http://helm.cs.unibo.it/helm/javascript/defaults.js">
  17 &#xa0;
  18 </script>
  19 <script language="JavaScript" src="http://helm.cs.unibo.it/helm/javascript/prelude.js">
  20 &#xa0;
  21 </script>
  22
  23 </head>
  24
  25 <body id="normal">
  26 <a name="top"/>
  27 <table border="0" width="100%" cellpadding="4">
  28 <tr><td class="head" align="center"><big><big>HELM Library Configuration</big></big></td></tr>
  29 </table>
  30
  31 <div id="indent">
  32 <br />
  33 When you are done with the changes, please <em>do not forget to click on the Save button</em> at the
  34 bottom of the page.
  35 <br />
  36 <table border="0">
  37   <tr>
  38     <th colspan="2" align="left">Profile</th>
  39   </tr>
  40   <tr>
  41     <td>
  42       <form name="profile">
  43         <script>
  44           var defaultValue = '<uwobo:profile/>';
  45           document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
  46         </script>
  47       </form>
  48     </td>
  49     <td>
  50       <form name="profileList">
  51         <script>
  52           var interfaceURL = '<uwobo:key name="interfaceURL"/>';
  53         </script>
  54         <select onChange="selectProfile(this, interfaceURL)">
  55           <option value="">---</option>
  56           <uwobo:profileOptionList/>
  57         </select>
  58       </form>
  59     </td>
  60     <td>
  61       (changing the profile will update all the fields below)
  62     </td>
  63   </tr>
  64   <tr>
  65     <td colspan="2" align="left"><b>UWOBO URL</b>
  66     </td>
  67   </tr>
  68   <tr>
  69     <td>
  70       <form name="uwoboURL">
  71       <script>
  72         var defaultValue = '<uwobo:key name="processorURL"/>';
  73         document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
  74       </script>
  75       </form>
  76     </td>
  77     <td>
  78       <form>
  79         <select onChange="selectUwoboURL(this)">
  80           <option value="">---</option>
  81           <option value="localhost">localhost</option>
  82           <option value="mowgli.cs.unibo.it">mowgli</option>
  83           <option value="marcello.cs.unibo.it">marcello</option>
  84         </select>
  85       </form>
  86     </td>
  87     <td>
  88       <form>
  89         <input type="button" value="Check" onClick="window.open(getUwoboURL() + 'help')"/>
  90         &#xa0;&#xa0;
  91         [<a href="http://www.cs.unibo.it/helm/uwobo/panel/index.html">UWOBO panel</a>]
  92       </form>
  93     </td>
  94   </tr>
  95   <tr>
  96     <td colspan="2" align="left"><b>Getter URL</b>
  97     </td>
  98   </tr>
  99   <tr>
 100     <td>
 101       <form name="getterURL">
 102         <script>
 103           var defaultValue = '<uwobo:key name="getterURL"/>';
 104           document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
 105         </script>
 106       </form>
 107     </td>
 108     <td>
 109       <form>
 110         <select onChange="selectGetterURL(this)">
 111           <option value="">---</option>
 112           <option value="localhost">localhost</option>
 113           <option value="mowgli.cs.unibo.it">mowgli</option>
 114           <option value="marcello.cs.unibo.it">marcello</option>
 115         </select>
 116       </form>
 117     </td>
 118     <td>
 119       <form>
 120         <input type="button" value="Check" onClick="window.open(getGetterURL() + 'help')"/>
 121         &#xa0;&#xa0;
 122         [<a href="http://www.cs.unibo.it/helm/getter/panel/index.html">Getter panel</a>]
 123       </form>
 124     </td>
 125   </tr>
 126   <tr>
 127     <th colspan="2" align="left">URI-Set URL</th>
 128   </tr>
 129   <tr>
 130     <td>
 131       <form name="uri_set_queueURL">
 132         <script>
 133           var defaultValue = '<uwobo:key name="uri_set_queueURL"/>';
 134           document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
 135         </script>
 136       </form>
 137     </td>
 138     <td>
 139       <form>
 140         <select onChange="selectURISetQueueURL(this)">
 141           <option value="">---</option>
 142           <option value="localhost">localhost</option>
 143           <option value="mowgli.cs.unibo.it">mowgli</option>
 144           <option value="marcello.cs.unibo.it">marcello</option>
 145         </select>
 146       </form>
 147     </td>
 148     <td>
 149       <form>
 150         <input type="button" value="Check" onClick="window.open(getURISetQueueURL() + 'help')"/>
 151       </form>
 152     </td>
 153   </tr>
 154   <tr>
 155     <th colspan="2" align="left">Graph Drawer URL</th>
 156   </tr>
 157   <tr>
 158     <td>
 159       <form name="draw_graphURL">
 160         <script>
 161           var defaultValue = '<uwobo:key name="draw_graphURL"/>';
 162           document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
 163         </script>
 164       </form>
 165     </td>
 166     <td>
 167       <form>
 168         <select onChange="selectDrawGraphURL(this)">
 169           <option value="">---</option>
 170           <option value="localhost">localhost</option>
 171           <option value="mowgli.cs.unibo.it">mowgli</option>
 172           <option value="marcello.cs.unibo.it">marcello</option>
 173         </select>
 174       </form>
 175     </td>
 176     <td>
 177       <form>
 178         <input type="button" value="Check" onClick="window.open(getDrawGraphURL() + 'help')"/>
 179       </form>
 180     </td>
 181   </tr>
 182   <tr>
 183     <th colspan="2" align="left">Proof-Checker URL</th>
 184   </tr>
 185   <tr>
 186     <td>
 187       <form name="proofcheckerURL">
 188         <script>
 189           var defaultValue = '<uwobo:key name="proofcheckerURL"/>';
 190           document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
 191         </script>
 192       </form>
 193     </td>
 194     <td>
 195       <form>
 196         <select onChange="selectProofCheckerURL(this)">
 197           <option value="">---</option>
 198           <option value="localhost">localhost</option>
 199           <option value="mowgli.cs.unibo.it">mowgli</option>
 200           <option value="marcello.cs.unibo.it">marcello</option>
 201         </select>
 202       </form>
 203     </td>
 204     <td>
 205       <form>
 206         <input type="button" value="Check" onClick="window.open(getProofCheckerURL() + 'help')"/>
 207       </form>
 208     </td>
 209   </tr>
 210   <tr>
 211     <th colspan="2" align="left">Search Engine URL</th>
 212   </tr>
 213   <tr>
 214     <td>
 215       <form name="searchengineURL">
 216         <script>
 217           var defaultValue = '<uwobo:key name="searchengineURL"/>';
 218           document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
 219         </script>
 220       </form>
 221     </td>
 222     <td>
 223       <form>
 224         <select onChange="selectSearchEngineURL(this)">
 225           <option value="">---</option>
 226           <option value="localhost">localhost</option>
 227           <option value="mowgli.cs.unibo.it">mowgli</option>
 228           <option value="marcello.cs.unibo.it">marcello</option>
 229         </select>
 230       </form>
 231     </td>
 232     <td>
 233       <form>
 234         <input type="button" value="Check" onClick="window.open(getSearchEngineURL() + 'help')"/>
 235       </form>
 236     </td>
 237   </tr>
 238   <tr>
 239     <th colspan="2" align="left">RDFly URL</th>
 240   </tr>
 241   <tr>
 242     <td>
 243       <form name="rdflyURL">
 244         <script>
 245           var defaultValue = '<uwobo:key name="rdflyURL"/>';
 246           document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
 247         </script>
 248       </form>
 249     </td>
 250     <td>
 251       <form>
 252         <select onChange="selectRdflyURL(this)">
 253           <option value="">---</option>
 254           <option value="localhost">localhost</option>
 255           <option value="mowgli.cs.unibo.it">mowgli</option>
 256           <option value="marcello.cs.unibo.it">marcello</option>
 257         </select>
 258       </form>
 259     </td>
 260     <td>
 261       <form>
 262         <input type="button" value="Check" onClick="window.open(getRdflyURL() + 'help')"/>
 263       </form>
 264     </td>
 265   </tr>
 266   <tr>
 267     <th colspan="2" align="left">Interface URL</th>
 268   </tr>
 269   <tr>
 270     <td>
 271       <form name="interfaceURL">
 272         <script>
 273           var defaultValue = '<uwobo:key name="interfaceURL"/>';
 274           document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
 275         </script>
 276       </form>
 277     </td>
 278     <td>
 279       <form>
 280         <select onChange="selectInterfaceURL(this)">
 281           <option value="">---</option>
 282           <option value="mowgli">helm</option>
 283         </select>
 284       </form>
 285     </td>
 286   </tr>
 287 </table>
 288 <br />
 289 <table border="0">
 290 <tr>
 291 <td><b style="padding-right: 2em">Natural language rendering</b></td>
 292 <td>
 293 <form name="naturalLanguage">
 294 <script>
 295 var defaultValue = '<uwobo:key name="naturalLanguage"/>';
 296 if (defaultValue == 'yes')
 297         document.write('<input type="checkbox" checked="1" />');
 298 else
 299         document.write('<input type="checkbox" />');
 300 </script>
 301 </form>
 302 </td>
 303 </tr>
 304 <tr>
 305 <td><b style="padding-right: 2em">Maximum size of dependency graph</b></td>
 306 <td>
 307 <form name="maxGraphSize">
 308 <script>
 309 var defaultValue = '<uwobo:key name="uri_set_size"/>';
 310 document.write('<input type="text" value="' + defaultValue + '" size="3" maxlength="3" />');
 311 </script>
 312 </form>
 313 </td>
 314 </tr>
 315 </table>
 316 <br />
 317 <table border="0">
 318   <tr>
 319     <th colspan="2" align="left">Browser</th>
 320   </tr>
 321   <tr>
 322    <td>
 323     Only new browsers support UNICODE, that is needed to render
 324     mathematical documents. Some old browsers, though, can render
 325     the most common symbols through the &quot;symbol&quot; font.
 326    </td>
 327   </tr>
 328   <tr>
 329    <td>
 330     To make us understand what kind of browser you have, please
 331     select below the symbol for &quot;not belongs to&quot;. If both options
 332     do not show that symbol, then you will be only able to use
 333     the MathML mode with an external plug-out for MathML presentation.
 334    </td>
 335   </tr>
 336   <tr>
 337     <td>
 338       <form name="UNICODEvsSYMBOL">
 339         <b>Where do you see the &quot;not belongs to&quot; symbol?</b>
 340       <script>
 341        var defaultValue = '<uwobo:key name="UNICODEvsSYMBOL"/>';
 342        if (defaultValue == 'symbol')
 343          document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="symbol" checked="" />');
 344        else
 345          document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="symbol" />');
 346       </script>
 347       <font face="symbol">&#207;</font>
 348       <script>
 349        var defaultValue = '<uwobo:key name="UNICODEvsSYMBOL"/>';
 350        if (defaultValue == 'unicode')
 351          document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="unicode" checked="" />');
 352        else
 353          document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="unicode" />');
 354       </script>
 355       &#8713;
 356       </form>
 357     </td>
 358   </tr>
 359 </table>
 360 </div>
 361
 362 <div class="center">
 363   <form name="submit">
 364     <script>
 365       var origProfileId = '<uwobo:profile/>';
 366     </script>
 367     <input type="button" value="Save" onClick="saveProfile(origProfileId)"/>
 368   </form>
 369 </div>
 370
 371 </body>
 372 </html>
 373