Test:Proposed

From OWL Test Cases

Jump to:navigation, search

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
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox