From OWL Test Cases

Jump to:navigation, search

This category describes negative entailment tests and hence corresponds to the class test:NegativeEntailmentTest (Test case ontology) as defined in OWL 2 Conformance and Test Cases.

To add a new test case of this kind, the below form can be used (giving the name of the new test case as a value).

OWL 2 Informative
OWL 2 Normative