From OWL Test Cases

Jump to:navigation, search

[Edit query] | Show embed code


Previous     Results 1– 20     Next        (20 | 50 | 100)
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 <code>AllDifferent</code> to derive <code>differentFrom</code> 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 <code>owl:Class</code>. Test:DL
Test:FULL
0- 0- 0- 0 0 0 1X
TestCase:WebOnt-Class-005-direct Jeremy J. Carroll This test demonstrates that the OWL 2 Direct Semantics, unlike the OWL 2 RDF Based Semantics and the OWL 1 semantics, permit URIs to be present in the conclusion ontology that are not present in the premise ontology. Test:DL
Test:FULL
0- 0- 0- 0 0 1X 0
TestCase:WebOnt-Class-006 Jeremy J. Carroll This test shows a correct application of OWL Full comprehension rules. It also shows that use of <code>rdfs:Class</code> instead of <code>owl:Class</code> may make a file fall outside OWL DL. Test:FULL 0- 0- 0- 0 0 1X 0
TestCase:WebOnt-DatatypeProperty-001 Jim Hendler DatatypeProperty's may be used to related typed literals to typed literals, in OWL Full. Test:FULL 0- 0- 0- 0 1X 0 0
TestCase:WebOnt-FunctionalProperty-001 Jeremy J. Carroll If <code>prop</code> belongs to <code>owl:FunctionalProperty</code>, and <code>subject</code> denotes a resource which is the subject of two <code>prop</code> triples, then the <code>object</code>s of these triples have the same denotation. Test:FULL 0- 0- 0- 0 0 1X 0
TestCase:WebOnt-FunctionalProperty-002 Jeremy J. Carroll If <code>prop</code> belongs to <code>owl:FunctionalProperty</code>, and <code>subject</code> denotes a resource which is the subject of two <code>prop</code> triples, then the <code>object</code>s of these triples have the same denotation.Hence any assertion made using one of them can be transferred to the other. Test:FULL 0- 0- 0- 0 0 1X 0
TestCase:WebOnt-FunctionalProperty-003 Jeremy J. Carroll If <code>prop</code> is an <code>owl:FunctionalProperty</code>, then its inverse is an <code>owl:InverseFunctionalProperty</code>. Test:FULL 0- 0- 0- 0 0 1X 0
TestCase:WebOnt-FunctionalProperty-004 Jeremy J. Carroll If the range of <code>prop</code> is a singleton set then it is necessarily functional, (i.e. every member of its domain has a single value) and so it is an <code>owl:FunctionalProperty</code>. Test:FULL 0- 0- 0- 0 0 1X 0
TestCase:WebOnt-FunctionalProperty-005 Peter F. Patel-Schneider If prop belongs to <code>owl:FunctionalProperty</code> then an OWL individual has at most one value for prop. Test:FULL 0- 0- 0- 0 0 1X 0
TestCase:WebOnt-I4.6-003 Jeremy J. Carroll <code>owl:sameAs</code> is stronger than <code>owl:equivalentClass</code>. Test:DL
Test:FULL
0- 0- 1RL 0 0 1X 0
TestCase:WebOnt-I4.6-005 Jeremy J. Carroll <code>owl:equivalentClass</code> is not related to annotations on classes. Test:DL
Test:FULL
1QL 1EL 1RL 0 0 0 1X
Previous     Results 1– 20     Next        (20 | 50 | 100)
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox