Assert

From RIF
Revision as of 13:29, 9 December 2009 by StellaMitchell (Talk | contribs)

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




Test TypePositiveEntailmentTest
ContributorAdrian Paschke
StatusApproved
RecordNovember 10, 2009 telecon
DialectPRD
PurposeAssert Action of RIF PRD
DescriptionDemonstrates the assert action in RIF PRD. In this example the assert action updates the existing customer frame object with a new attribute "discount" and value "10". Note: It is not good practice (since it is translatable in Core without the assert, it should be in Core).
SeeAlsoRetract, AssertRetract
SpecRefhttp://www.w3.org/2005/rules/wiki/PRD
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Prefix(xs <http://www.w3.org/2001/XMLSchema#>) Group ( Forall ?X ( If ?X[ex:status -> "gold"] Then Do ( Assert (?X[ex:discount -> "10"]) ) ) ex:john[ex:status -> "gold"] ) )
XMLview RIF/XML
Conclusion
Presentation Syntaxex:john[ex:status -> "gold" ex:discount -> "10"]
XMLview RIF/XML