No free variables

From RIF
Revision as of 08:52, 21 April 2010 by Christian de Sainte Marie (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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