ApprovedBLDTest use of equality in a rule conclusionThis 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.Equality_in_conclusion_2-premise.rifhttp://www.w3.org/2005/rules/test/repository/tc/Equality_in_conclusion_2/Equality_in_conclusion_2-premise.rif)
Group (
Forall ?x ( ex:workZIPCode(?x) = ex:homeZIPCode(?x) :- ex:homeWorker(?x) )
ex:homeWorker(ex:a)
)
)
]]>Equality_in_conclusion_2-conclusion.rifhttp://www.w3.org/2005/rules/test/repository/tc/Equality_in_conclusion_2/Equality_in_conclusion_2-conclusion.rif