Test:Proposed
From OWL Test Cases
This page is used to represent the element test:Proposed (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 | |
|---|---|---|---|---|---|---|---|---|---|---|
| Inconsistent-pattern-disjointness | Birte Glimm | The data properties dp1 and dp2 are disjoint. The strings ab and ac are dp1 fillers for the individual a and can, thus, not be used as dp2 fillers for a. The pattern a(b|c), however, admits only ab and ac as values, which makes the ontology inconsistent. | Test:DL Test:FULL |
0- | 0- | 0- | 1X | 0 | 0 | 0 |
| New-Feature-ObjectPropertyChain-BJP-002 | Bijan Parsia | A transitivity axiom should entail a property chain. | Test:DL Test:FULL |
0- | 1EL | 1RL | 0 | 0 | 1X | 0 |
| Owl2-rl-rules-ifp-askey | Zhe Wu | Use inverse functional property as key. | Test:FULL | 0- | 0- | 0- | 0 | 0 | 1X | 0 |
| Qualified-cardinality-restricted-int | Evren Sirin | The cardinality restriction states there are exactly 3 dp values where the allowed values should be greater than or equal to 1 and less then or equal to 3. Obviously there are only 3 such values so we can conclude that the individual a should have dp values 1, 2, and 3. | Test:DL Test:FULL |
0- | 0- | 0- | 0 | 0 | 1X | 0 |
| TestCase:WebOnt-AllDifferent-001 | Jos De Roo | using AllDifferent to derive differentFrom |
Test:FULL | 0- | 0- | 0- | 0 | 0 | 1X | 0 |
| TestCase:WebOnt-Class-001 | Jeremy J. Carroll | In OWL Full every rdfs:Class is an owl:Class, in particular rdfs:Class is an owl:Class. | Test:FULL | 0- | 0- | 0- | 0 | 0 | 1X | 0 |
| TestCase:WebOnt-Class-002 | Jeremy J. Carroll | In OWL Full, the triple in the premises is synonymous with the triple in the conclusions. | Test:FULL | 0- | 0- | 0- | 0 | 0 | 1X | 0 |
| TestCase:WebOnt-Class-003 | Jeremy J. Carroll | In OWL Full, the triple in the premises is synonymous with the triple in the conclusions. | Test:FULL | 0- | 0- | 0- | 0 | 0 | 1X | 0 |
| TestCase:WebOnt-Class-004 | Jeremy J. Carroll | Annotations about owl:Class are not related to those about rdfs:Class. | Test:FULL | 0- | 0- | 0- | 0 | 0 | 0 | 1X |
| TestCase:WebOnt-Class-005 | Jeremy J. Carroll | This test shows a potential misapplication of OWL Full comprehension rules.
It also shows optional type triples on an owl:Class. |
Test:DL Test:FULL |
0- | 0- | 0- | 0 | 0 | 0 | 1X |
| … further results | ||||||||||
