From OWL Test Cases

Jump to:navigation, search

[Edit query] | Show embed code


Previous     Results 1– 20     Next        (20 | 50 | 100)
author description
Consistent-but-all-unsat Uli Sattler An ontology that is consistent, but all named classes are unsatisfiable. Ideas by Alan Ruttenberg
DisjointClasses-001 Mike Smith Demonstrates a binary disjoint classes axiom based on example in the Structural Specification and Functional-Style Syntax document.
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.
DisjointClasses-003 Mike Smith A modification of test DisjointClasses-001 to demonstrate a ternary disjoint classes axiom.
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.
New-Feature-DisjointUnion-001 Mike Smith Demonstrates a disjoint union axiom based on the example in the Structural Specification and Functional-Style Syntax document.
New-Feature-Keys-003 Mike Smith Demonstrates use of a "localized" key axiom to merge individuals based on an example in the Structural Specification and Functional-Style Syntax document.
New-Feature-Keys-004 Mike Smith Demonstrates that use of a "localized" key axiom only merges individuals that are instances of the given class expression. Based on an example in the Structural Specification and Functional-Style Syntax document.
New-Feature-Keys-005 Mike Smith Demonstrates that a key axiom does not make all properties used in it functional. Based on an example in the Structural Specification and Functional-Style Syntax document.
New-Feature-Keys-006 Mike Smith Demonstrates that a key axiom does not make all properties used in it functional, but these properties may be made functional with other axioms. Based on an example in the Structural Specification and Functional-Style Syntax document.
New-Feature-Keys-007 Mike Smith Demonstrates that a key axiom only applies to named individuals. Based on an example in the Structural Specification and Functional-Style Syntax document.
New-Feature-ObjectQCR-001 Mike Smith Demonstrates a qualified minimum cardinality object property restriction based on example in the Structural Specification and Functional-Style Syntax document.
New-Feature-ObjectQCR-002 Mike Smith Demonstrates a qualified maximum cardinality object property restriction adapted from example in the Structural Specification and Functional-Style Syntax document.
New-Feature-TopObjectProperty-001 Mike Smith Demonstrates use of the top object property to create an inconsistency.
One equals two Alan Ruttenberg Start with 3 classes, a,b,c and relate them so instances have to be in a 1:1 relationship with each other. The class b-and-c is the union of b and c. Therefore there have to be 2 instances of b-and-c for every instance of a. Relate the class 2a to b-and-c so that *their* instances are in 1:1 relationship. Now relate 2a to a so that *their* instances are in a 1:1 relationship. This should lead to a situation in which every instance of 2a is 1:1 with an instance of a, and at the same time 2:1 with an instance of a. Unless all the classes have an infinite number of members or are empty this doesn't work. This example has a is the enumerated class {i,j,k} (i,j,k all different individuals). So it should be inconsistent.
Owl2-rl-invalid-leftside-allvaluesfrom Zhe Wu OWL 2 RL does not allow left side allValuesFrom in a subClassOf axiom.
Owl2-rl-invalid-leftside-maxcard Zhe Wu Invalid OWL 2 RL due to maxCardinality usage.
Owl2-rl-invalid-oneof Zhe Wu OWL 2 RL does not permit owl:oneOf to define a named class (it can be used as a subclass expression).
Owl2-rl-invalid-owlreal Zhe Wu Invalid OWL 2 RL because owl:real is used.
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.
Previous     Results 1– 20     Next        (20 | 50 | 100)
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox