View source

From RIF

You do not have permission to do that, for the following reasons:

• The action you have requested is limited to users in one of the groups Sysops, WG.
• You must confirm your e-mail address before editing pages. Please set and validate your e-mail address through your user preferences.

You can view and copy the source of this page:

{{TestCase |type=PositiveSyntaxTest |author=Jos de Bruijn |status=Approved |approval=[http://www.w3.org/2005/rules/wg/meeting/2009-04-17#resolution_15 F2F13] |dialect=Core |specRef=http://www.w3.org/2005/rules/wiki/Core#Safeness |purpose=Test that safe formulas are accepted. |desc=The variables ?z and ?y are safe, because they are equated to ?x, which is safe. |seeAlso=[[Core_NonSafeness]] [[Core_Safeness]] |format=[[Presentation Syntax]] |input= Document( Prefix(ex <http://example.com/example#>) Group( Forall ?x ?y ?z (ex:p(?z) :- And(ex:q(?x) ?x=?y ?y=?z)) ) ) }}

• Template:TestCase

Return to Core Safeness 2.