OWL 2 Test Cases
From OWL Test Cases
Adding New Test Cases
Use the inputs below to create new test cases of different types. To add a new test, pick a short "name" or "ID" for your test case (any short label is fine, but using feature names or running numbers helps, e.g. "Datatype-Float-Discrete-002"). Enter the name into the according input and select "Add test case". A form will be opened where you can specify your test case. If a test case of the chosen name exists, it will be opened for editing.
Downloading and Executing Tests
Tests are provided in the OWL 2 test case format, both as individual exports provided on each test case page, and as bulk exports that are created on a daily basis. An extendable software framework for using test case data with OWL 2 reasoning tools is freely available.
Searching for Test Cases
The most recently submitted/updated tests are:
This list is not refreshed automatically. Edit an author's page to update the counter.