From OWL Test Cases

Jump to:navigation, search

[Edit query] | Show embed code


Previous     Results 1– 18    Next        (20 | 50 | 100)
author description
New-Feature-AnnotationAnnotations-001 Mike Smith Demonstrates annotation of an annotation. Adapted from an example in the Mapping to RDF Graphs document.
Rdfbased-sem-prop-backwardcompatiblewith-type-annot Michael Schneider
Kai Mainzer
The type of the vocabulary property owl:backwardCompatibleWith is the class of annotation properties.
Rdfbased-sem-prop-comment-type Michael Schneider
Kai Mainzer
The type of the vocabulary property rdfs:comment is the class of annotation properties.
Rdfbased-sem-prop-deprecated-type Michael Schneider
Kai Mainzer
The type of the vocabulary property owl:deprecated is the class of annotation properties.
Rdfbased-sem-prop-incompatiblewith-type-annot Michael Schneider
Kai Mainzer
The type of the vocabulary property owl:incompatibleWith is the class of annotation properties.
Rdfbased-sem-prop-isdefinedby-type Michael Schneider
Kai Mainzer
The type of the vocabulary property rdfs:isDefinedBy is the class of annotation properties.
Rdfbased-sem-prop-label-type Michael Schneider
Kai Mainzer
The type of the vocabulary property rdfs:label is the class of annotation properties.
Rdfbased-sem-prop-priorversion-type-annot Michael Schneider
Kai Mainzer
The type of the vocabulary property owl:priorVersion is the class of annotation properties.
Rdfbased-sem-prop-seealso-type Michael Schneider
Kai Mainzer
The type of the vocabulary property rdfs:seeAlso is the class of annotation properties.
Rdfbased-sem-prop-versioninfo-type Michael Schneider
Kai Mainzer
The type of the vocabulary property owl:versionInfo is the class of annotation properties.
TestCase:WebOnt-AnnotationProperty-002 Jeremy J. Carroll In OWL 1, this test was used to expose differences between the RDF Based and Direct semantics. In OWL 2, the entailment ontology holds under both semantics. Under the OWL 2 Direct Semantics, annotations in the conclusion ontology are ignored, so the only axiom evaluated in ClassAssertion(owl:Thing _:x). Under the OWL 2 RDF Based semantics, annotations are relevant, and in this test, the entailment holds.
TestCase:WebOnt-AnnotationProperty-003 Jeremy J. Carroll URI references used in annotations don't need to be typed.
TestCase:WebOnt-AnnotationProperty-004 Sean Bechhofer AnnotationProperty's in OWL Lite and OWL DL, may not have range constraints. They are permitted in OWL 2 DL.
TestCase:WebOnt-I5.3-011 Jeremy J. Carroll Classes can be the object of annotation properties in OWL Lite and DL.
TestCase:WebOnt-equivalentClass-008-Direct Jeremy J. Carroll
Mike Smith
A version of WebOnt-equivalentClass-008 modified for the Direct Semantics, under which annotations in the entailed ontology are ignored.
TestCase:WebOnt-miscellaneous-302-Direct Jeremy J. Carroll
Mike Smith
A version of WebOnt-miscellaneous-302 applicable under the Direct Semantics, in which the annotation in the entailed ontology is not considered.
TestCase:WebOnt-miscellaneous-303 Jeremy J. Carroll <code>dc:creator</code> may be declared as an annotation property.
TestCase:WebOnt-sameAs-001 Jeremy J. Carroll Annotation properties refer to a class instance. sameAs, in OWL Full, also refers to the class instance.
Previous     Results 1– 18    Next        (20 | 50 | 100)
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox