Local Predicate

From RIF
Revision as of 14:41, 25 June 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 predicates
DescriptionThe entailment relation does not preserve labels of local constants, neither when they are used as individuals, nor when they are used as predicates (as in this case).
SeeAlsoLocal_Constant
SpecRefhttp://www.w3.org/2005/rules/wiki/BLD#Logical_Entailment
Premises
Presentation SyntaxDocument( Group(_p(<http://example.org/#a>)) )
XMLview RIF/XML
Non-conclusion
Presentation Syntax_p(<http://example.org/#a>)
XMLview RIF/XML