Conflict resolution

From RIF
Revision as of 02:40, 10 November 2010 by Smitchel (Talk | contribs)

(diff) ← Older revision | Latest 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.org/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] )) Do ((?new New()) Assert(?new#ex:T) Assert(?new[ex:p->1]) ) )
XMLview RIF/XML
Conclusion
Presentation SyntaxExists ?x (?x[ex:q->2])
XMLview RIF/XML