From OWL Test Cases

Jump to:navigation, search

[Edit query] | Show embed code


Previous     Results 1– 20     Next        (20 | 50 | 100)
author description
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.
TestCase:WebOnt-Class-002 Jeremy J. Carroll In OWL Full, the triple in the premises is synonymous with the triple in the conclusions.
TestCase:WebOnt-Class-003 Jeremy J. Carroll In OWL Full, the triple in the premises is synonymous with the triple in the conclusions.
TestCase:WebOnt-Class-004 Jeremy J. Carroll Annotations about owl:Class are not related to those about rdfs:Class.
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-I4.6-003 Jeremy J. Carroll <code>owl:sameAs</code> is stronger than <code>owl:equivalentClass</code>.
TestCase:WebOnt-I4.6-005 Jeremy J. Carroll <code>owl:equivalentClass</code> is not related to annotations on classes.
TestCase:WebOnt-I5.2-010 Jeremy J. Carroll The informal semantics for RDF container vocabulary, indicated by the comment, are not respected by the formal machinery of OWL.
TestCase:WebOnt-I5.2-011 Jeremy J. Carroll The informal semantics indicated by comments concerning user defined classes  are not respected by the formal machinery of OWL.
TestCase:WebOnt-I5.24-001 Jeremy J. Carroll This entailment is similar to one that does not hold in RDFS.
TestCase:WebOnt-I5.24-002 Jonathan Borden OWL, unlike RDFS, uses iff semantics for range.
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-006 Jeremy J. Carroll Comprehension does not build illformed lists.
TestCase:WebOnt-I5.5-007 Jeremy J. Carroll Comprehension does not build illformed lists.
TestCase:WebOnt-Nothing-002 Jeremy J. Carroll An empty <code>owl:Class</code> has the same class extension as <code>owl:Nothing</code>.
TestCase:WebOnt-Ontology-003 Jeremy J. Carroll This is a variation of <a xmlns="http://www.w3.org/1999/xhtml" href="#equivalentClass-001">equivalentClass-001</a>, showing the use of <code>owl:Ontology</code> triple only in the conclusions.
TestCase:WebOnt-Ontology-004 Jeremy J. Carroll This is a variation of <a xmlns="http://www.w3.org/1999/xhtml" href="#equivalentClass-001">equivalentClass-001</a>, showing the use of two <code>owl:Ontology</code> triples in the premises.
Previous     Results 1– 20     Next        (20 | 50 | 100)
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox