From OWL Test Cases

Jump to:navigation, search

[Edit query] | Show embed code


Previous     Results 1– 9    Next        (20 | 50 | 100)
author description
TestCase:WebOnt-FunctionalProperty-004 Jeremy J. Carroll If the range of <code>prop</code> is a singleton set then it is necessarily functional, (i.e. every member of its domain has a single value) and so it is an <code>owl:FunctionalProperty</code>.
TestCase:WebOnt-InverseFunctionalProperty-004 Jeremy J. Carroll If the domain of <code>prop</code> is a singleton set then it is necessarily inverse functional, (i.e. every member of its range is the value of a single item) so it is an <code>owl:InverseFunctionalProperty</code>.
TestCase:WebOnt-Nothing-002 Jeremy J. Carroll An empty <code>owl:Class</code> has the same class extension as <code>owl:Nothing</code>.
TestCase:WebOnt-Thing-005 Jeremy J. Carroll The extension of OWL Thing may not be a singleton in OWL Full.
TestCase:WebOnt-extra-credit-002 Jeremy J. Carroll This test shows a relationship between integer multiplication and OWL Full.
TestCase:WebOnt-extra-credit-003 Jeremy J. Carroll Prime factorization can be expressed in OWL Full.
TestCase:WebOnt-extra-credit-004 Jeremy J. Carroll A more difficult prime factorization example.
TestCase:WebOnt-oneOf-002 Jos De Roo <code>oneOf</code> describes a class by enumerating its individuals.
TestCase:WebOnt-oneOf-003 Jos De Roo The order of the instances in an <code>owl:oneOf</code> construct is unimportant.
Previous     Results 1– 9    Next        (20 | 50 | 100)
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox