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

Conflict resolution

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