From OWL Test Cases

Jump to:navigation, search

[Edit query] | Show embed code


Previous     Results 1– 20     Next        (20 | 50 | 100)
author description
New-Feature-Rational-001 Mike Smith
Birte Glimm
A consistent ontology using owl:rational
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.
Owl2-rl-invalid-leftside-allvaluesfrom Zhe Wu OWL 2 RL does not allow left side allValuesFrom in a subClassOf axiom.
Owl2-rl-invalid-owlreal Zhe Wu Invalid OWL 2 RL because owl:real is used.
Owl2-rl-valid-rightside-allvaluesfrom Zhe Wu Valid RL usage of allValuesFrom.
Rdfbased-sem-restrict-allvalues-cmp-class Michael Schneider
Kai Mainzer
A universal restriction on some property and some class is a sub class of another universal restriction on the same property but on a super class.
Rdfbased-sem-restrict-allvalues-cmp-prop Michael Schneider
Kai Mainzer
A universal restriction on some property and some class is a sub class of another universal restriction on the same class but on a sub property.
Rdfbased-sem-restrict-allvalues-inst-obj Michael Schneider
Kai Mainzer
If an individual w is an instance of the universal restriction on property p and class c, then for any triple w p x follows that x is an instance of c.
TestCase:WebOnt-I5.2-003 Ian Horrocks The complement of a class can be defined using OWL Lite restrictions.
TestCase:WebOnt-I5.2-004 Ian Horrocks The complement of a class can be defined using OWL Lite restrictions.
TestCase:WebOnt-I5.2-005 Ian Horrocks The union of two classes can be defined using OWL Lite restrictions, and <code>owl:intersectionOf</code>.
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.24-003 Ian Horrocks This is a typical definition of range from description logic.
TestCase:WebOnt-I5.24-004 Ian Horrocks This is a typical definition of range from description logic. It works both ways.
TestCase:WebOnt-allValuesFrom-001 Jeremy J. Carroll A simple example.
TestCase:WebOnt-allValuesFrom-002 Jeremy J. Carroll Another simple example; contrast with <code>owl:someValuesFrom</code>.
TestCase:WebOnt-description-logic-002 Sean Bechhofer DL Test: fact2.1
TestCase:WebOnt-description-logic-010 Sean Bechhofer DL Test: t10.2
TestCase:WebOnt-description-logic-011 Sean Bechhofer DL Test: t10.3
Previous     Results 1– 20     Next        (20 | 50 | 100)
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox