From OWL Test Cases
This category describes positive entailment tests and hence corresponds to the class test:PositiveEntailmentTest (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).
(previous 200) (next 200)
Pages in category "PositiveEntailmentTest"
The following 200 pages are in this category, out of 209 total.