| Test | Description | Status |
| 6.1.1, 001 | If prop belongs to owl:FunctionalProperty, and subject denotes a resource and has two outgoing prop arcs, then the objects of these arcs have the same denotation. | Passed |
| 6.1.1, 002 |
If prop belongs to owl:FunctionalProperty,
and subject denotes a resource and
has two outgoing prop arcs, then the objects of these arcs
have the same denotation. Hence an arc originating in
object1 can be copied to object2. |
Passed |
| 6.1.2, 001 |
If prop belongs to owl:InverseFunctionalProperty,
and object denotes a resource and
has two incoming prop arcs, then the subjects of these arcs
have the same denotation. |
Passed |
| 6.1.2, 002 |
If prop belongs to owl:InverseFunctionalProperty,
and object denotes a resource and
has two incoming prop arcs, then the subjects of these arcs
have the same denotation. Hence an arc originating in
subject1 can be copied to subject2. |
Passed |
| 6.1.3, 001 |
If the pair (x,y) is an instance of P, than the pair (y,x) is
an instance of the named property. |
Passed |
| Test |
Description |
Status |
| D.1.1, 003 |
If prop is an owl:FunctionalProperty,
then its inverse is an owl:InverseFunctionalProperty. |
Passed |
| D.1.1, 004 |
If the range of prop 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 owl:FunctionalProperty. |
Passed |
| D.1.1, 005 |
If prop belongs to owl:FunctionalProperty
then an OWL object has at most one value for prop. |
Passed |