Software related to management and processing of OWL WG test cases
Java
Failed to load latest commit information.
cel
core/src/com/clarkparsia/owlwg
factpp/src/com/clarkparsia/owlwg/runner/factpp
hermit HermiT update Jul 9, 2009
lib
ontologies
owlapi3/src/com/clarkparsia/owlwg/owlapi3 OWLAPIv3 supports parsing non-RDF formats, OwlApiv3 runners now do too. Jul 15, 2009
pellet Static main to facilitate running Pellet OWLAPI 3 runner Jul 8, 2009
LICENSE.txt Initial commit, working test runners for Pellet, HermiT, FaCT++ Mar 1, 2009
README.txt Update README to include example of the filter command line option Jul 24, 2009

README.txt

Source code in this package is provided under the terms of the GNU
Affero General Public License (AGPL) version 3 (see LICENSE.txt).

To run tests with the default test runner (Pellet)

  java com.clarkparsia.owlwg.Harness file:///tmp/my-file-of-tests.owl

To use a specific test runner set the Harness.TestRunner system property

  java \
    -DHarness.TestRunner=com.clarkparsia.owlwg.runner.hermit.HermiTTestRunner \
    com.clarkparsia.owlwg.Harness file:///tmp/my-file-of-tests.owl

The single argument should be a URL for a file containing one or more
test cases described using the vocabulary described in the OWL 2
Test and Conformance document at http://www.w3.org/TR/owl2-test/ and
serialized in RDF/XML.  file: and http: URI schemes are supported.

Test cases in this format are available at the OWL 2 Test Case Repository 
http://km.aifb.uni-karlsruhe.de/projects/owltests/index.php/OWL_2_Test_Cases
For each test case, the 'Download OWL' link exports the test case in
the appropriate format and can be used directly.

Batch exports are available at http://wiki.webont.org/exports/

The output of the program is an OWL ontology, serialized in
Turtle, describing the test run, using the vocabulary described at
http://www.w3.org/2007/OWL/wiki/Test_Result_Format

It is possible to use the test harness on only a subset of tests in the
input file by using the --filter command line argument.  The argument to
this option is parsed like a stack.  For example the following command
line would run only those tests that support the OWL 2 direct semantics,
are syntactically OWL 2 QL and have either approved or proposed status.

  java \
    --filter "approved proposed or direct ql and" \
    com.clarkparsia.owlwg.Harness http://wiki.webont.org/exports/all.rdf

Comments to Michael Smith <msmith@clarkparsia.com>