Test:Approved
From OWL Test Cases
This page is used to represent the element test:Approved (Test case ontology) within this wiki. It is used as one of the possible values of property test case status.
[edit] Test cases
The following test cases have this status (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 | species | QL | EL | RL | I | C | P | N | |
|---|---|---|---|---|---|---|---|---|---|---|
| Bnode2somevaluesfrom | Bijan Parsia | Shows that a BNode is an existential variable. | Test:DL Test:FULL |
0- | 0- | 0- | 0 | 0 | 1X | 0 |
| Chain2trans | Bijan Parsia | A role chain can be a synonym for transitivity. | Test:DL Test:FULL |
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. | Test:DL Test:FULL |
0- | 0- | 0- | 0 | 1X | 0 | 0 |
| Owlreal-plus-oneOf | Birte Glimm | The individual a must have either negative Infinity or 0 (-0 as integer is 0) as dp fillers and all dp successors must be from owl:real, which excludes negative infinity, but allows 0. | Test:DL Test:FULL |
0- | 0- | 0- | 0 | 1X | 0 | 0 |
| Consistent-but-all-unsat | Uli Sattler | An ontology that is consistent, but all named classes are unsatisfiable. Ideas by Alan Ruttenberg | Test:DL Test:FULL |
0- | 0- | 0- | 0 | 0 | 1X | 0 |
| Consistent-dataproperty-disjointness | Birte Glimm | The datatype properties dp1 and dp2 are disjoint, but the individual a can have 10 as a filler for dp1 and 18 as filler for dp2, which satisfies the disjointness. | Test:DL Test:FULL |
0- | 0- | 0- | 0 | 1X | 0 | 0 |
| Consistent-dateTime | Birte Glimm | The datatype restrictions leave exactly one dateTime value as dp filler for the individual a, so the ontology is consistent. | Test:DL Test:FULL |
0- | 0- | 0- | 0 | 1X | 0 | 0 |
| Consistent-integer-filler | Birte Glimm | The individual a is in the extension of the class A, which implies that it has a hasAge filler of 18 as integer, which is consistent with the all values from integer assertion for a. | Test:DL Test:FULL |
0- | 0- | 0- | 0 | 1X | 0 | 0 |
| Contradicting-datatype-restrictions | Birte Glimm | The individual a is in A and thus must have a dp filler that is an integer >= 4. Furthermore the dp fillers must be in the set {3, 4} and in the set {2, 3}. Although 3 is in both sets, 3 is not >= 4, which causes the inconsistency. | Test:DL Test:FULL |
0- | 0- | 0- | 1X | 0 | 0 | 0 |
| Contradicting-dateTime-restrictions | Birte Glimm | The individual a must have a dp filler that is a date from 2007, but the restrictions on dp allow only values from 2008, which makes the ontology inconsistent. | Test:DL Test:FULL |
0- | 0- | 0- | 1X | 0 | 0 | 0 |
| … further results | ||||||||||
