From OWL Test Cases

Jump to:navigation, search

[Edit query] | Show embed code


Previous     Results 1– 20     Next        (20 | 50 | 100)
author description syntax I C P N
DisjointClasses-002 Mike Smith Demonstrates a binary disjoint classes axiom and class assertions causing an inconsistency based on example in the Structural Specification and Functional-Style Syntax document. Test:FUNCTIONAL 1X 0 0 0
FS2RDF-different-individuals-2-ar Alan Ruttenberg Functional syntax to RDFXML translation of ontology consisting of a 2 argument DifferentIndividuals Test:FUNCTIONAL 0 1X 0 0
FS2RDF-different-individuals-3-ar Alan Ruttenberg Functional syntax to RDFXML translation of ontology consisting of a 3 argument DifferentIndividuals Test:FUNCTIONAL 0 1X 0 0
New-Feature-AnnotationAnnotations-001 Mike Smith Demonstrates annotation of an annotation. Adapted from an example in the Mapping to RDF Graphs document. Test:FUNCTIONAL 0 1X 0 0
New-Feature-AsymmetricProperty-001 Mike Smith Demonstrates use of an asymmetric object property axiom to cause a trivial inconsistency based on the example in the Structural Specification and Functional-Style Syntax document. Test:FUNCTIONAL 1X 0 0 0
New-Feature-AxiomAnnotations-001 Mike Smith Demonstrates axiom annotation based on an example in the Mapping to RDF Graphs document. The axiom being annotated here generates a main triple when mapped to RDF. Test:FUNCTIONAL 0 1X 0 0
New-Feature-DisjointDataProperties-001 Mike Smith Demonstrates use of a disjoint data properties axiom to create a trivial inconsistency based on the example in the Structural Specification and Functional-Style Syntax document. Test:FUNCTIONAL 1X 0 0 0
New-Feature-DisjointDataProperties-002 Mike Smith Demonstrates use of a ternary disjoint data properties axiom to infer different individuals. Adapted from test New-Feature-DisjointDataProperties-001. Test:FUNCTIONAL 0 0 1X 0
New-Feature-DisjointObjectProperties-001 Mike Smith Demonstrates use of a disjoint object properties axiom to infer that two individuals are different based on the example in the Structural Specification and Functional-Style Syntax document. Test:FUNCTIONAL 0 0 1X 0
New-Feature-DisjointObjectProperties-002 Mike Smith A modification of test New-Feature-DisjointObjectProperties-001 to demonstrate a ternary disjoint object properties axiom. Test:FUNCTIONAL 0 0 1X 0
New-Feature-ReflexiveProperty-001 Mike Smith Uses a reflexive object property axiom to infer a property value based on the example in the Structural Specification and Functional-Style Syntax document. Test:FUNCTIONAL 0 0 1X 0
Owl2-rl-invalid-rightside-somevaluesfrom Zhe Wu This is not a valid OWL 2 RL because someValuesFrom shows up on the right hand side of a SubClassOf axiom. Test:RDFXML 0 1X 0 0
TestCase:WebOnt-AnnotationProperty-003 Jeremy J. Carroll URI references used in annotations don't need to be typed. Test:RDFXML 0 1X 0 0
TestCase:WebOnt-AnnotationProperty-004 Sean Bechhofer AnnotationProperty's in OWL Lite and OWL DL, may not have range constraints. They are permitted in OWL 2 DL. Test:RDFXML 0 1X 0 0
TestCase:WebOnt-I4.6-005-Direct Jeremy J. Carroll
Mike Smith
Under the direct semantics, test WebOnt-I4.6-005 must be treated as a positive entailment test because the direct semantics ignore annotations in the conclusion ontology. Test:RDFXML 0 0 1X 0
TestCase:WebOnt-I5.26-001 Jeremy J. Carroll Structure sharing was not permitted in OWL DL, between a class description and a type triple, but is permitted in OWL 2 DL. Test:RDFXML 0 1X 0 0
TestCase:WebOnt-I5.26-002 Jeremy J. Carroll Structure sharing was not permitted in OWL DL, between an owl:equivalentClass triple and a type triple, but is permitted in OWL 2 DL. Test:RDFXML 0 1X 0 0
TestCase:WebOnt-I5.26-005 Jeremy J. Carroll Structure sharing was not permitted in OWL DL, between an owl:equivalentClass triple and an owl:disjointWith triple, but is permitted in OWL 2 DL. Test:RDFXML 0 1X 0 0
TestCase:WebOnt-I5.5-005 Jeremy J. Carroll This test exhibits the effect of the comprehension principles in OWL Full. The conclusion ontology only contains a class declaration, ObjectUnionOf class expression does not appear in an axiom. Test:RDFXML 0 0 1X 0
TestCase:WebOnt-I5.8-011 Jos De Roo The empty graph entails that <code>xsd:integer</code> and <code>xsd:string</code> are a <code>rdfs:Datatype</code> Test:RDFXML 0 0 1X 0
Previous     Results 1– 20     Next        (20 | 50 | 100)
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox