Test:EL
From OWL Test Cases
This page represents the EL profile of test cases, and thus it corresponds to the element test:EL (Test case ontology). Together with test:QL 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 | |
|---|---|---|---|---|---|---|---|
| Chain2trans | Bijan Parsia | A role chain can be a synonym for transitivity. | Test:RDFXML | 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 |
| 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 |
| 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-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-BottomDataProperty-001 | Mike Smith | Demonstrates use of the bottom data property to create an inconsistency. | Test:FUNCTIONAL | 1X | 0 | 0 | 0 |
| New-Feature-BottomObjectProperty-001 | Mike Smith | Demonstrates use of the bottom object property to create an inconsistency. | Test:FUNCTIONAL | 1X | 0 | 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-005 | Jeremy J. Carroll | owl:equivalentClass is not related to annotations on classes. |
Test:RDFXML | 0 | 0 | 0 | 1X |
| TestCase:WebOnt-Thing-005 | Jeremy J. Carroll | The extension of OWL Thing may not be a singleton in OWL Full. | Test:RDFXML | 1X | 0 | 0 | 0 |
| 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 |
