Vocabulary definitions from file:data/testOntology.rdf
-
Field Summary
FieldsModifier and TypeFieldDescriptionstatic final ResourceA consistent OWL document.static final ResourceOne of the conformance levels in the OWL test suite.static final PropertyThis property relates a test to a language feature.static final ResourceOne of the conformance levels in the OWL test suite.static final PropertyDespite the property URI, the document indicated by this property may or may not be imported into the test.static final ResourceThe premise document, and its imports closure, entails the conclusion document.static final ResourceThese tests use two documents.static final ResourceAn inconsistent OWL document.static final ResourceA member of this class is an issue in some issue list.static final PropertyA string valued property that gives a numeral (or some other quasi-numeric string) associated with an issue.static final Resourcestatic final PropertyIndicates the conformance level of a document or test in the OWL test suite.static final ResourceOne of the conformance levels in the OWL test suite.static final ResourceThe namespace of the vocabalary as a resourcestatic final ResourceThis is a negative entailment test according to the OWL entailment rules.static final ResourceThis is a negative test.static final StringThe namespace of the vocabalary as a string ("http://www.w3.org/2002/03owlt/testOntology#")static final ResourceIllustrative of the use of OWL to describe OWL Full.static final ResourceThis is a positive entailment test according to the OWL entailment rules.static final Propertystatic final PropertyThe subject test is valid only when the object datatype is included in the datatype theory.static final Resourcestatic final ResourceThe conclusions follow from the empty premises.static final PropertyThe object is a datatype that appears in one of the test files in the subject test. -
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
NS
The namespace of the vocabalary as a string ("http://www.w3.org/2002/03owlt/testOntology#")
- See Also:
-
NAMESPACE
The namespace of the vocabalary as a resource
-
feature
This property relates a test to a language feature. The language feature is usually indicated by a class or property.
-
usedDatatype
The object is a datatype that appears in one of the test files in the subject test.
-
supportedDatatype
The subject test is valid only when the object datatype is included in the datatype theory.
-
importedPremiseDocument
Despite the property URI, the document indicated by this property may or may not be imported into the test.
-
level
Indicates the conformance level of a document or test in the OWL test suite.
-
Lite
One of the conformance levels in the OWL test suite.
-
DL
One of the conformance levels in the OWL test suite.
-
Full
One of the conformance levels in the OWL test suite.
-
issueNumber
A string valued property that gives a numeral (or some other quasi-numeric string) associated with an issue.
-
size
-
Large
-
Test
-
PositiveEntailmentTest
This is a positive entailment test according to the OWL entailment rules.
-
NegativeEntailmentTest
This is a negative entailment test according to the OWL entailment rules.
-
TrueTest
The conclusions follow from the empty premises.
-
OWLforOWLTest
Illustrative of the use of OWL to describe OWL Full.
-
ImportLevelTest
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.
-
NotOwlFeatureTest
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.
-
ImportEntailmentTest
The premise document, and its imports closure, entails the conclusion document.
-
InconsistencyTest
An inconsistent OWL document. (One that entails falsehood).
-
ConsistencyTest
A consistent OWL document. (One that does not entail falsehood).
-
Issue
A member of this class is an issue in some issue list.
-
-
Constructor Details
-
OWLTest
public OWLTest()
-
-
Method Details
-
getURI
The namespace of the vocabalary as a string
- See Also:
-