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=NegativeEntailmentTest |author=[[Jos de Bruijn]] |status=Approved |approval=[http://www.w3.org/2005/rules/wg/meeting/2009-04-17#resolution_23 F2F13] |dialect=Core |purpose=Test that the entailment relation does not preserve names of local predicates |desc=The entailment relation does not preserve labels of local constants, neither when they are used as [[Local Constant|individuals]], nor when they are used as predicates (as in this case). |seeAlso=[[Local_Constant]] |specRef=http://www.w3.org/2005/rules/wiki/BLD#Logical_Entailment |pformat=[[Presentation Syntax]] |premise= Document( Group(_p(<http://example.org/#a>)) ) |cformat=[[Presentation Syntax]] |conc= _p(<http://example.org/#a>) }}

• Template:TestCase

Return to Local Predicate.