Warning:
This wiki has been archived and is now read-only.
Equality in conclusion 1
From RIF
| Test Type | PositiveEntailmentTest | ||||
|---|---|---|---|---|---|
| Contributor | Stella Mitchell | ||||
| Status | Approved | ||||
| Record | F2F11 | ||||
| Dialect | BLD | ||||
| Purpose | Test use of equality in a rule conclusion | ||||
| Description | The rule in this test case says that there is a functional relationship between the first and the second argument of the predicate p. In other words, if x is related to y by p and x is related to z by p, then y and z must be the same thing. This makes p equivalent to a functional property in OWL. | ||||
| SeeAlso | |||||
| SpecRef | http://www.w3.org/2005/rules/wiki/BLD#Terms | ||||
| Premises |
|
||||
| Conclusion |
|