OWL 2 Test Cases

From OWL Test Cases

Jump to:navigation, search
Welcome to the public OWL 2 Test Case collection site!

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.

Positive Entailment Test

Positive entailment tests consist of two ontologies, where one is semantically entailed by the other.

There are currently 209 positive entailment tests.

Negative Entailment Test

Negative entailment tests consist of two ontologies, where one is explicitly not to be entailed by the other.

There are currently 25 negative entailment tests.

Consistency Test

Consistency tests consist of a single consistent ontology.

There are currently 369 consistency tests.

Inconsistency Test

Inconsistency tests consist of a single inconsistent ontology.

There are currently 134 inconsistency tests.

Profile Indentification Tests can be submitted as Consistency Tests. In fact, every test with profile information can be used as a Profile Identification Test.

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

Newest Tests

The most recently submitted/updated tests are:

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)
Questions or suggestions regarding this site? Contact Markus Krötzsch.
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox