Vocabulary definitions from file:data/testOntology.rdf
-
Field Summary
Modifier and TypeFieldDescriptionstatic final Resource
A consistent OWL document.static final Resource
One of the conformance levels in the OWL test suite.static final Property
This property relates a test to a language feature.static final Resource
One of the conformance levels in the OWL test suite.static final Property
Despite the property URI, the document indicated by this property may or may not be imported into the test.static final Resource
The premise document, and its imports closure, entails the conclusion document.static final Resource
These tests use two documents.static final Resource
An inconsistent OWL document.static final Resource
A member of this class is an issue in some issue list.static final Property
A string valued property that gives a numeral (or some other quasi-numeric string) associated with an issue.static final Resource
static final Property
Indicates the conformance level of a document or test in the OWL test suite.static final Resource
One of the conformance levels in the OWL test suite.static final Resource
The namespace of the vocabalary as a resourcestatic final Resource
This is a negative entailment test according to the OWL entailment rules.static final Resource
This is a negative test.static final String
The namespace of the vocabalary as a string ("http://www.w3.org/2002/03owlt/testOntology#")static final Resource
Illustrative of the use of OWL to describe OWL Full.static final Resource
This is a positive entailment test according to the OWL entailment rules.static final Property
static final Property
The subject test is valid only when the object datatype is included in the datatype theory.static final Resource
static final Resource
The conclusions follow from the empty premises.static final Property
The object is a datatype that appears in one of the test files in the subject test. -
Constructor Summary
-
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:
-