Core NonSafeness

From RIF

Revision as of 15:16, 18 April 2009 by StellaMitchell (Talk | contribs)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search




Test TypeNegativeSyntaxTest
ContributorJos de Bruijn
StatusApproved
RecordF2F13
DialectPRD
PurposeTest that non-safe formulas are not accepted.
DescriptionThe variable ?z is not bound, and consequently ?y is not bound.
SeeAlso
SpecRefhttp://www.w3.org/2005/rules/wiki/Core#Safeness
Input
Presentation SyntaxDocument( Prefix(ex <http://example.com/example#>) Prefix(pred <http://www.w3.org/2007/rif-builtin-predicate#>) Group( Forall ?y ?z (ex:p(?y) :- And( ?y=?z External(pred:numeric-greater-than(?z 0)) )) ) )
XMLview XML
Retrieved from "http://www.w3.org/2005/rules/wiki/Core_NonSafeness"