Core Safeness 3

From RIF

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




Test TypePositiveSyntaxTest
ContributorJos de Bruijn
StatusApproved
RecordF2F13
DialectCore
PurposeTest that safe formulas are accepted.
DescriptionThe variable ?x is unbound, but (u,b) is a valid binding pattern for pred:iri-string.
SeeAlsoCore_NonSafeness Core_Safeness
SpecRefhttp://www.w3.org/2005/rules/wiki/Core#safeness-example
Input
Presentation SyntaxDocument( Prefix(ex <http://example.com/example#>) Prefix(pred <http://www.w3.org/2007/rif-builtin-predicate#>) Group( Forall ?x ?z (ex:p(?x) :- And( ex:q(?z) External(pred:iri-string(?x ?z)))) ) )
XMLview XML
Retrieved from "http://www.w3.org/2005/rules/wiki/Core_Safeness_3"