Field Summary |
|
final public static Resource | ConsistencyTest A consistent OWL document. |
final public static Resource | DL |
final public static Resource | Full |
final public static Resource | ImportEntailmentTest |
final public static Resource | ImportLevelTest These tests use two documents. |
final public static Resource | InconsistencyTest An inconsistent OWL document. |
final public static Resource | Issue |
final public static Resource | Large |
final public static Resource | Lite |
final public static Resource | NAMESPACE |
final public static String | NS |
final public static Resource | NegativeEntailmentTest |
final public static Resource | NotOwlFeatureTest This is a negative test. |
final public static Resource | OWLforOWLTest |
final public static Resource | PositiveEntailmentTest |
final public static Resource | Test |
final public static Resource | TrueTest |
final public static Property | feature This property relates a test to a language feature. |
final public static Property | importedPremiseDocument |
final public static Property | issueNumber |
final public static Property | level |
final public static Property | size |
final public static Property | supportedDatatype |
final public static Property | usedDatatype |