Local Constant

From RIF
Revision as of 16:03, 18 April 2009 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search




Test TypeNegativeEntailmentTest
ContributorJos de Bruijn
StatusApproved
RecordF2F13
DialectCore
PurposeTest that the entailment relation does not preserve names of local constants
DescriptionThe labels of local constants are local to the specific document in which they occur. Therefore, these labels are not visible outside the documents. In particular, local constants in the entailed formulas should be considered distinct from those in the entailing document, even if the labels coincide.
SeeAlsoLocal_Predicate
SpecRefhttp://www.w3.org/2005/rules/wiki/BLD#Logical_Entailment
Premises
Presentation SyntaxDocument( Group(<http://example.org/#p>("a"^^rif:local)) )
XMLview RIF/XML
Non-conclusion
Presentation Syntax<http://example.org/#p>("a"^^rif:local)
XMLview RIF/XML