Equality in conclusion 1

From RIF
Revision as of 17:37, 25 June 2009 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorStella Mitchell
StatusApproved
RecordF2F11
DialectBLD
PurposeTest use of equality in a rule conclusion
DescriptionThe 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
SpecRefhttp://www.w3.org/2005/rules/wiki/BLD#Terms
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Group ( Forall ?x ?y ?z ( ?y=?z :- And ( ex:p(?x ?y) ex:p(?x ?z) ) ) ex:p(ex:a ex:b) ex:p(ex:a ex:c) ) )
XMLview RIF/XML
Conclusion
Presentation Syntaxex:b = ex:c
XMLview RIF/XML