<%@page contentType="text/html" import="java.util.zip.*" import="java.util.*" import="wowg.*" import="java.io.*" import="com.hp.hpl.jena.rdf.model.*" autoFlush="true" %> <% String submit = Zipper.getParameter(request,"submit"); Zipper zipper = new Zipper(request); if (submit.startsWith("Zip")) { out.clear(); response.setContentType("application/zip"); zipper.zip(response.getOutputStream()); out.close(); return; //response.sendRedirect("test.zip"); //out.clear(); //out.close(); } if ( submit.startsWith("Refresh") ) { zipper.refresh(); } if ( submit.startsWith("Boiler") ) { zipper.boiler(); } Iterator it; int ii; %> WebOnt WG: Test Case Editor

WebOnt WG: Test Case Editor

<%String errorMsg = zipper.getErrors(); if (errorMsg.length()>0 ) { %>

<%=errorMsg%>

<% } %> <% if ( submit.startsWith("Validate") ) { Testy test = zipper.validate(); boolean showRDFXML = true; boolean showTriples = true; boolean areNormative = true; boolean suppress = false; int size = 1; String testTag="foo"; String outerAnchor="none"; Set simpleAnchors = new HashSet(); Set currentSubIndex = new HashSet(); boolean editorsDraft = true; %> <%@include file="tests4.jsp"%> <% } %>

Please use this form to create and edit OWL test cases. It is currently restricted to ASCII.

Enter one of:

Test feature:
Test issue:

>Miscellaneous	>DL	>Extra Credit

New subsection tag: Start test:

Test number:

To edit an existing test, select it and then press here.

Test author: <% String authors[] = Manifest.authors(); %>

Test author (unlisted - first time):

Approval - enter URL of minutes:

Test type:

After selecting the test type, you can intialize a new test with useful boiler plate.

Level of entailment: Size of test (<%=zipper.size%>):

Datatypes:

Supported	Not Supported	Used
<%=zipper.supportedDatatype%>	<%=zipper.notSupportedDatatype%>	<%=zipper.usedDatatype%>

Test Description:
<%=zipper.description%>

Premises/consistent/inconsistent/illegal/true file:
Level of file:
<%=zipper.first%>

Conclusion/Nonconclusions:
Level of file:
<%=zipper.second%>

Please either:

Then please e-mail the zipped test to: Jos De Roo.

<%-- <% } else { %> <%-- wantZip -- %> <%! String hidden(String name, ServletRequest req) { String v = req.getParameter(name); if ( v == null ) return ""; StringBuffer rslt = new StringBuffer(" 32 ) { switch ( ch ) { case '<': case '&': case '"': break; default: rslt.append(ch); continue; } } rslt.append("&#"+(int)ch+";"); } rslt.append("\"/>"); return rslt.toString(); } %> --%>