This is a positive entailment test according to the OWL entailment rules.
This is a negative entailment test according to the OWL entailment rules.
The conclusions follow from the empty premises.
Illustrative of the use of OWL to describe OWL Full.
These tests use two documents.
One is named importsNNN.rdf,
the other is named mainNNN.rdf.
These tests indicate the
interaction between owl:imports
and the sublanguage levels of the main document.
This is a negative test. The input document contains some use of the
OWL namespace which is not a feature of OWL. These typically show
DAML+OIL features that are not being carried forward into OWL.
1
The premise document, and its imports closure, entails the
conclusion document.
Despite the property URI, the document indicated by
this property may or may not be imported into the test.
An inconsistent OWL document. (One that entails falsehood).
A consistent OWL document. (One that does not entail falsehood).
This property relates a test to a language feature.
The language feature is usually indicated by a class or property.
Indicates the conformance level of a document or test in the OWL test suite.
A member of this class is an issue in some issue list.
A string valued property that gives a numeral (or some other quasi-numeric string)
associated with an issue.
The object is a datatype that appears in one of the
test files in the subject test.
The subject test is valid only when
the object datatype is included in the datatype theory.