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
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-rightside-unionof Zhe Wu Incorrect OWL 2 RL syntax. unionOf shows up at the right hand side of a SubClassOf axiom.
Owl2-rl-invalid-unionof Zhe Wu OWL 2 RL does not allow owl:unionOf to define a named class (it can be used as a subclass expression).
Rdfbased-sem-bool-union-inst-comp Michael Schneider
Kai Mainzer
An individual, which is an instance of one of the component classes of a union, is an instance of the union class expression.
Rdfbased-sem-bool-union-term Michael Schneider
Kai Mainzer
If a class is a union of other classes, then each of the other classes are subclasses of the original class.
TestCase:WebOnt-I5.2-006 Ian Horrocks The union of two classes can be defined using OWL Lite restrictions, and <code>owl:intersectionOf</code>.
TestCase:WebOnt-I5.26-003 Jeremy J. Carroll Structure sharing was not permitted in OWL DL, between two class descriptions, but is permitted in OWL 2 DL.
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.
TestCase:WebOnt-description-logic-001 Sean Bechhofer DL Test: fact1.1 If a, b and c are disjoint, then: (a and b) or (b and c) or (c and a) is unsatisfiable.
TestCase:WebOnt-description-logic-006 Sean Bechhofer DL Test: t1.1
TestCase:WebOnt-description-logic-007 Sean Bechhofer DL Test: t1.2
TestCase:WebOnt-description-logic-008 Sean Bechhofer DL Test: t1.3
TestCase:WebOnt-description-logic-018 Sean Bechhofer DL Test: t3.1 There are 90 possible partitions in the satisfiable case
TestCase:WebOnt-description-logic-019 Sean Bechhofer DL Test: t3.2 There are 301 possible partitions in the unsatisfiable case
TestCase:WebOnt-description-logic-020 Sean Bechhofer DL Test: t3a.1 there are 1,701 possible partitions in the satisfiable case
TestCase:WebOnt-description-logic-021 Sean Bechhofer DL Test: t3a.2 There are 7,770 possible partitions in the unsatisfiable case
TestCase:WebOnt-description-logic-022 Sean Bechhofer DL Test: t3a.3 There are 42,525 possible partitions in the satisfiable case
TestCase:WebOnt-description-logic-028 Sean Bechhofer DL Test: t7.1
TestCase:WebOnt-description-logic-031 Sean Bechhofer DL Test: t7f.1
Previous     Results 1– 20     Next        (20 | 50 | 100)
OWL 2 Informative
OWL 2 Normative