Better support for "looking at" test cases

To simplify your reviewing of test cases, the test case site now offers 
automated syntax conversion based on the wonderful UMan OWL syntax converter.

Example page: 
http://km.aifb.uni-karlsruhe.de/projects/owltests/index.php/Owl2-rl-rules

Be aware, however, that the conversion may include some built-in repair 
features of the OWL API, so the results may not be structurally equivalent to 
the input in all cases. I should still be useful for "looking at" test cases. 
The conversion also yields an easy way for a first syntax check of new tests 
(the conversion service produces parser errors in case of problems). As a side 
effect, it might serve as a sound but incomplete way of recognizing OWL Full.


The conversion service is based on a new feature of our test case site: each 
ontology that is part of some test case can now be downloaded from a dedicated 
URL (suitable links are on all test pages). Tool developers are invited to 
feed these URLs into their applications or web services for working with the 
test data.


Cheers,

Markus

-- 
Markus Krötzsch
Institut AIFB, Universität Karlsruhe (TH), 76128 Karlsruhe
phone +49 (0)721 608 7362          fax +49 (0)721 608 5998
mak@aifb.uni-karlsruhe.de          www  http://korrekt.org