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

No free variables

From RIF
(Redirected from Quantify free variables)
Jump to: navigation, search




Test TypeNegativeSyntaxTest
ContributorStella Mitchell
StatusApproved
RecordTelecon 20 April 2010
DialectBLD
DialectPRD
PurposeAll free variables in the rule must be quantified with Forall
DescriptionThe variable "price" is not included in the variable list of the Forall
SeeAlso
SpecRefhttp://www.w3.org/2005/rules/wiki/BLD#Formulas
Input
Presentation SyntaxDocument( Prefix(eg <http://example.org/example#>) Group ( Forall ?buyer ?item ?seller ( eg:Buy(?buyer ?item ?seller) :- eg:Sell(?seller ?item ?buyer ?price) ) ) )
XMLview RIF/XML