OWL 2 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

• By syntax feature: all syntactic elements (or enter feature name into search box)
• By syntax: functional, OWL-XML, RDF-XML
• By species: OWL Full, OWL DL
• By profile: OWL QL, OWL EL, OWL RL
• Tests for RL-RDF-rule reasoners
• By status: proposed, approved
• All proper test cases. This list shows all test cases with a proper id and author, filtering incomplete tests.
• Incomplete testcases. You can help by completing the data for these cases.

Newest Tests

The most recently submitted/updated tests are:

• WebOnt-I5.26-010
• Direct_Semantics_Literal_disjoint_from_Thing
• WebOnt-Nothing-001
• bnode2somevaluesfrom
• Individual-Class_Punning_vs._ObjectOneOf
• Disjoint_Props_via_Disjoint_Ranges
• Disjoint_Props_via_Disjoint_Domains
• Qualified-cardinality-boolean
• Qualified-cardinality-restricted-int
• chain2trans1

Top Contributors

This list is not refreshed automatically. Edit an author's page to update the counter.

1. Jeremy J. Carroll (152)
2. Sean Bechhofer (96)
3. Michael Schneider (87)
4. Mike Smith (35)
5. Birte Glimm (29)