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

Assert

From RIF
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
Retrieved from "https://www.w3.org/2005/rules/wiki/index.php?title=Assert&oldid=11883"