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
New-Feature-Rational-002 Mike Smith
Birte Glimm
An inconsistent ontology using owl:rational
New-Feature-Rational-003 Mike Smith
Birte Glimm
A consistent ontology demonstrating owl:rational is different from xsd:decimal. The decimal literal requires 16 digits, the minimum required for conformance.
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-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-valid-oneof Zhe Wu A valid usage of oneOf in OWL 2 RL
Rdfbased-sem-enum-inst-included Michael Schneider
Kai Mainzer
If a class defines an enumeration class expression from two individuals, than both individuals are instances of the class.
TestCase:WebOnt-I4.5-001 Charles White An example combinging owl:oneOf and owl:inverseOf.
TestCase:WebOnt-I4.5-002 Charles White An example combining owl:oneOf and owl:inverseOf.
TestCase:WebOnt-SymmetricProperty-002 Jeremy J. Carroll Test illustrating extensional semantics of <code>owl:SymmetricProperty</code>.
TestCase:WebOnt-Thing-004 Jeremy J. Carroll The extension of OWL Thing may be a singleton in OWL DL.
TestCase:WebOnt-TransitiveProperty-002 Jeremy J. Carroll Test illustrating extensional semantics of <code>owl:TransitiveProperty</code>.
TestCase:WebOnt-description-logic-035 Sean Bechhofer A test for the interaction of one-of and inverse using the idea of a spy point. Everything is related to the spy via the property p and we know that the spy has at most two invP successors, thus limiting the cardinality of the domain to being at most 2.
TestCase:WebOnt-description-logic-501 Jeremy J. Carroll This is the classic 3 SAT problem.
TestCase:WebOnt-description-logic-502 Jeremy J. Carroll This is the classic 3 SAT problem.
TestCase:WebOnt-description-logic-905 Jeremy J. Carroll This test shows integer multiplication in OWL DL. N is 2. M is 3. N times M is 6.
TestCase:WebOnt-equivalentClass-009 Jeremy J. Carroll A possible mapping of the EquivalentClasses axiom, which is connected but without a Hamiltonian path.
TestCase:WebOnt-miscellaneous-001 Michael K. Smith
Chris Welty
Deborah L. McGuinness
Wine example taken from the guide. Note that this is the same as the ontology http://www.w3.org/2002/03owlt/miscellaneous/consistent002 imported in other tests.
TestCase:WebOnt-miscellaneous-002 Michael K. Smith
Chris Welty
Deborah L. McGuinness
Food example taken from the guide. Note that this is the same as the ontology http://www.w3.org/2002/03owlt/miscellaneous/consistent002 imported in other tests.
TestCase:WebOnt-oneOf-001 Jeremy J. Carroll <code>oneOf</code> <em>does not</em> indicate that the named individuals are distinct. Thus a consistent interpretation of this file is when all the individual names denote the same individual.
Previous     Results 1– 20     Next        (20 | 50 | 100)
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox