Core NonSafeness 2

From RIF
Revision as of 13:01, 2 February 2010 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest 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 variables ?x and ?z are unbound in the first disjunct of the condition, and (u,u) is not a valid binding pattern for pred:iri-string.
SeeAlsoCore_NonSafeness Core_Safeness_3
SpecRefhttp://www.w3.org/2005/rules/wiki/Core#safeness-example
Input
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Prefix(pred <http://www.w3.org/2007/rif-builtin-predicate#>) Group( Forall ?x ?y ?z (ex:p() :- Or( External(pred:iri-string(?x ?z)) And( ex:q(?x) ex:r(?z)))) ) )
XMLview RIF/XML