Core Safeness

From RIF

Revision as of 12:02, 3 November 2009 by JosDeBruijn (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. Note that this ruleset does not have finite models, and is not strongly safe.
Description
SeeAlsoCore_NonSafeness Core_Safeness_2
SpecRefhttp://www.w3.org/2005/rules/wiki/Core#Safeness
Input
Presentation SyntaxDocument( Prefix(ex <http://example.com/example#>) Prefix(func <http://www.w3.org/2007/rif-builtin-function#>) Group( ex:p(0) Forall ?x (ex:p(External(func:numeric-add(?x 1))) :- ex:p(?x)) ) )
XMLview XML
Retrieved from "http://www.w3.org/2005/rules/wiki/Core_Safeness"