Warning:
This wiki has been archived and is now read-only.

Equality in conclusion 2

From RIF
Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorStella Mitchell
StatusApproved
RecordF2F11
DialectBLD
PurposeTest use of equality in a rule conclusion
DescriptionThis rules says that if x is a home worker, then x's home zip code is the same as x's work zip code. In general, a rule of this form can be used to express that if x is of a certain class then two different logical functions must have the same interpretation when applied to x.
SeeAlso
SpecRefhttp://www.w3.org/2005/rules/wiki/BLD#Terms
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Group ( Forall ?x ( ex:workZIPCode(?x) = ex:homeZIPCode(?x) :- ex:homeWorker(?x) ) ex:homeWorker(ex:a) ) )
XMLview RIF/XML
Conclusion
Presentation Syntaxex:workZIPCode(ex:a) = ex:homeZIPCode(ex:a)
XMLview RIF/XML
Changes since WG Approval-Changed the predicate and function symbols to suggest a use case for such a rule
-Changed the conclusion from a document formula to a condition formula