Test:DL
From OWL Test Cases
This page represents the OWL species OWL 2 DL of test cases, and thus it corresponds to the element test:DL (Test case ontology). Together with Test:FULL it is one of the possible values of the properties test case species.
[edit] Test cases in the OWL DL species
The following test cases for species OWL DL exist on this site (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.| author | description | QL | EL | RL | I | C | P | N | |
|---|---|---|---|---|---|---|---|---|---|
| Bnode2somevaluesfrom | Bijan Parsia | Shows that a BNode is an existential variable. | 0- | 0- | 0- | 0 | 0 | 1X | 0 |
| Chain2trans | Bijan Parsia | A role chain can be a synonym for transitivity. | 0- | 1EL | 1RL | 0 | 0 | 1X | 0 |
| Datatype-restrictions-different-types | Birte Glimm | The individual a must have dp fillers that are in the sets {3, 4} and {2, 3} (different types are used, but shorts and ints are integers). Furthermore, the dp filler must be 3, but since 3 is in both sets, the ontology is consistent. | 0- | 0- | 0- | 0 | 1X | 0 | 0 |
| Double-ranges | Birte Glimm | The data property dp has a restriction to doubles >= 5 (given as byte) and <= 7.2 (given as float) and a restriction to decimals >= 6.0 (given as float) and <= 6.8. The individual a is required to have a dp successor, but there are several double values that fulfil the restriction. | 0- | 0- | 0- | 0 | 1X | 0 | 0 |
| Numeric-restrictions-different-type | Birte Glimm | The data property dp has a restriction to bytes >= 5 (4.5 needs to be rounded up) and <= 7 and a restriction to decimals >= 6.0 and <= 6.8. The individual a is required to have a dp successor, but 6 is a value that fulfils both restrictions. | 0- | 0- | 0- | 0 | 1X | 0 | 0 |
| … further results | |||||||||
