Conflict resolution

From RIF

Revision as of 01:20, 10 November 2009 by StellaMitchell (Talk | contribs)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorGary Hallmark
StatusApproved
RecordF2F13
DialectPRD
PurposeThis test highlights the role of priority in PRD's conflict resolution.
DescriptionThe second rule fires before the first rule because it has higher priority. Without priority, implementations may resolve the conflict arbitrarily, and the conclusion is not guaranteed.
SeeAlso
SpecRefhttp://www.w3.org/2005/rules/wiki/PRD#conflict-resolution
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.com/example#>) Group ( Group 1 ( Forall ?x ( If ?x#ex:T Then Do (Retract(?x[ex:p->1])))) Group 2 ( Forall ?y ( If And(?y#ex:T ?y[ex:p->1]) Then ?y[ex:q->2] )) ex:o#ex:T ex:o[ex:p->1] ) )
XMLview XML
Conclusion
Presentation Syntaxex:o[ex:q->2]
XMLview XML
Retrieved from "http://www.w3.org/2005/rules/wiki/Conflict_resolution"