No free variables




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
Last modified on 21 April 2010, at 08:52