From OWL Test Cases

Jump to:navigation, search

[Edit query] | Show embed code


Previous     Results 1– 10    Next        (20 | 50 | 100)
author description
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>.
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.
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.
TestCase:WebOnt-I5.26-006 Jeremy J. Carroll The blank nodes in a class description in OWL DL may not form a directed cycle.
TestCase:WebOnt-I5.26-007 Jeremy J. Carroll The blank nodes in a class description in OWL DL may not form a directed cycle.
TestCase:WebOnt-I5.5-007 Jeremy J. Carroll Comprehension does not build illformed lists.
TestCase:WebOnt-Restriction-006 Jeremy J. Carroll This test shows a correct application of OWL Full comprehension rules. It also shows that optional type triples on an <code>owl:Restriction</code> do not replace the obligatory ones.
TestCase:WebOnt-equivalentClass-007 Jeremy J. Carroll De Morgan's law.
TestCase:WebOnt-unionOf-001 Jos De Roo A union is a superclass of its parts.
TestCase:WebOnt-unionOf-002 Jos De Roo A union behaves quite like set theoretic union.
Previous     Results 1– 10    Next        (20 | 50 | 100)
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox