Test:QL
From OWL Test Cases
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 |
