Test:RL
From OWL Test Cases
This page represents the RL profile of test cases, and thus it corresponds to the element test:RL (Test case ontology). Together with test:EL and test:QL 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 | |
|---|---|---|---|---|---|---|---|
| Chain2trans | Bijan Parsia | A role chain can be a synonym for transitivity. | Test:RDFXML | 0 | 0 | 1X | 0 |
| DisjointClasses-001 | Mike Smith | Demonstrates a binary disjoint classes axiom based on example in the Structural Specification and Functional-Style Syntax document. | Test:FUNCTIONAL | 0 | 0 | 1X | 0 |
| 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 |
| DisjointClasses-003 | Mike Smith | A modification of test DisjointClasses-001 to demonstrate a ternary disjoint classes axiom. | Test:FUNCTIONAL | 0 | 0 | 1X | 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 |
| FS2RDF-no-builtin-prefixes-ar | Alan Ruttenberg | Functional syntax to RDFXML checking that there aren't builtin prefixes for xsd, rdf, rdfs, owl | Test:FUNCTIONAL | 0 | 1X | 0 | 0 |
| FS2RDF-same-individual-2-ar | Alan Ruttenberg | Functional syntax to RDFXML translation of ontology consisting of a 2 argument SameIndividual | Test:FUNCTIONAL | 0 | 1X | 0 | 0 |
| Functionality-clash | Birte Glimm | The property hasAge is functional, but the individual a has two distinct hasAge fillers. | Test:FUNCTIONAL | 1X | 0 | 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 |
| … 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 |
| New-Feature-ObjectPropertyChain-BJP-002 | Bijan Parsia | A transitivity axiom should entail a property chain. | Test:FUNCTIONAL | 0 | 0 | 1X | 0 |
| TestCase:WebOnt-I4.6-003 | Jeremy J. Carroll | owl:sameAs is stronger than owl:equivalentClass. |
Test:RDFXML | 0 | 0 | 1X | 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 |
