<h1>Object:
"<script>document.write(extractParam(unescape(getParam('url')),'param.CICURI'))</script>"
<font size="+1">[Annotations are
- <script>if ((extractParam(unescape(getParam('url')),'param.annotations')) == 'NO') document.write('off'); else document.write('on')</script>
+ <script>if ((extractParam(unescape(getParam('url')),'param.annotations')) == 'no') document.write('off'); else document.write('on')</script>
]</font>
</h1>
<table>
+ <tr>
+ <td>
+ <script>
+ var url = unescape(getParam('url'));
+ document.write('<a href="' + url + '" target="_blank">Object URL</a>');
+ </script>
+ </td>
+ <td>
+ Follow the link to view the displayed object alone (without this control frame)
+ </td>
+ </tr>
<tr>
<td>
<script>
url = setParam(url,"prop.doctype-public","");
url = setParam(url,"prop.encoding","");
url = setParam(url,"prop.media-type","application/x-helm-annotation-helper");
+ url = url + "¶m.explodeall=true";
document.write(
'<a target="result" href="' + url + '">Annotate it</a>'
)
<script>
var url = unescape(getParam('url'));
var getterURL = extractParam(url,'param.getterURL');
- var CICURI = extractParam(url,'param.CICURI');
- var RDFURI = "helm:rdf:www.cs.unibo.it/helm/rdf/rdfprova//" + CICURI;
- if (CICURI.substr(-4,4) == ".ind") {
- url = setParam(url,"keys","DM%2CRT");
- url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + CICURI);
- } else {
- url = setParam(url,"keys","MC%2CRT");
- url = setParam(url,"xmluri", getterURL + "resolve%3Furi%3D" + RDFURI);
- }
+ var CICURI = dropBodySuffix(extractParam(url,'param.CICURI'));
+ url = setParam(url,"keys","MC%2CRT");
+ url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + CICURI);
url = setParam(url,"prop.media-type","text/html");
url = setParam(url,"prop.encoding","iso-8859-1");
- url =
- url +
- "¶m.RDFURI=" + RDFURI ;
+ url = setParam(url,"param.CICURI",CICURI);
document.write(
- '<a target="metadata" href="' + url + '">View its metadata</a>'
+ '<a target="metadata" href="' + url + '">View its metadata and dependencies</a>'
);
</script>
</td>
- <td>(Work in progress. Coming soon.)</td>
+ <td>DC Metadata and dependency metadata; Dependency graphs
+ </td>
</tr>
<tr>
<td>
- Proof-check it
+ <script>
+ var url = unescape(getParam('url'));
+ var proofcheckerURL = unescape(extractParam(url,'param.proofcheckerURL'));
+ var CICURI = dropBodySuffix(extractParam(url,'param.CICURI'));
+ url = proofcheckerURL + "proofCheck?uri=" + CICURI;
+ document.write(
+ '<a target="proofChecker" href="' + url + '">Proof-check it</a>'
+ );
+ </script>
</td>
- <td>
- (Not ported to V7, yet. Coming soon.)
+ <td>Proof-checking is recursively performed over the untrusted parts of the
+ library
</td>
</tr>
</table>