Warning:
This wiki has been archived and is now read-only.

Local Predicate

From RIF
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