Test:QL

From OWL Test Cases

Jump to:navigation, search

This page represents the QL profile of test cases, and thus it corresponds to the element test:QL (Test case ontology). Together with test:EL and test:RL it is one of the possible values of the property test case profile.

[edit] Test cases

The following test cases belong to this profile (refresh view)info.pngQuery results are cached with wiki pages for some time, even if the data changes. This link purges a page's cache to get the most recent results. Note that there may be more tests than fit this page: use the link to further results at the bottom if needed.

[edit] Approved and Extra Credit tests

author description syntax I C P N
DisjointClasses-002 Mike Smith Demonstrates a binary disjoint classes axiom and class assertions causing an inconsistency based on example in the Structural Specification and Functional-Style Syntax document. Test:FUNCTIONAL 1X 0 0 0
FS2RDF-different-individuals-2-ar Alan Ruttenberg Functional syntax to RDFXML translation of ontology consisting of a 2 argument DifferentIndividuals Test:FUNCTIONAL 0 1X 0 0
FS2RDF-different-individuals-3-ar Alan Ruttenberg Functional syntax to RDFXML translation of ontology consisting of a 3 argument DifferentIndividuals Test:FUNCTIONAL 0 1X 0 0
New-Feature-AnnotationAnnotations-001 Mike Smith Demonstrates annotation of an annotation. Adapted from an example in the Mapping to RDF Graphs document. Test:FUNCTIONAL 0 1X 0 0
New-Feature-AsymmetricProperty-001 Mike Smith Demonstrates use of an asymmetric object property axiom to cause a trivial inconsistency based on the example in the Structural Specification and Functional-Style Syntax document. Test:FUNCTIONAL 1X 0 0 0
New-Feature-AxiomAnnotations-001 Mike Smith Demonstrates axiom annotation based on an example in the Mapping to RDF Graphs document. The axiom being annotated here generates a main triple when mapped to RDF. Test:FUNCTIONAL 0 1X 0 0
New-Feature-DisjointDataProperties-001 Mike Smith Demonstrates use of a disjoint data properties axiom to create a trivial inconsistency based on the example in the Structural Specification and Functional-Style Syntax document. Test:FUNCTIONAL 1X 0 0 0
New-Feature-DisjointDataProperties-002 Mike Smith Demonstrates use of a ternary disjoint data properties axiom to infer different individuals. Adapted from test New-Feature-DisjointDataProperties-001. Test:FUNCTIONAL 0 0 1X 0
New-Feature-DisjointObjectProperties-001 Mike Smith Demonstrates use of a disjoint object properties axiom to infer that two individuals are different based on the example in the Structural Specification and Functional-Style Syntax document. Test:FUNCTIONAL 0 0 1X 0
New-Feature-DisjointObjectProperties-002 Mike Smith A modification of test New-Feature-DisjointObjectProperties-001 to demonstrate a ternary disjoint object properties axiom. Test:FUNCTIONAL 0 0 1X 0
… further results


[edit] New and proposed tests

author description syntax I C P N
Datatype-Float-Discrete-002 Mike Smith The value space of owl:real is continuous, in contrast with xsd:float Test:FUNCTIONAL 0 1X 0 0
TestCase:WebOnt-I4.6-005 Jeremy J. Carroll owl:equivalentClass is not related to annotations on classes. Test:RDFXML 0 0 0 1X
TestCase:WebOnt-equivalentClass-008 Jeremy J. Carroll Annotation properties refer to a class instance. equivalentClass refers to the class extension. Test:RDFXML 0 0 0 1X
TestCase:WebOnt-miscellaneous-302 Jeremy J. Carroll Annotations participate a little in the semantics. Test:RDFXML 0 0 0 1X
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox