[RIF Errata] Process and Examples

I suggest we should start RIF errata management, keeping track
of hints about issues in the Recs, e.g. as accumulating in the various
RIF mailing lists [1-3], in post-Rec wiki histories, and as indicated below.

For principles see: W3C Process Document (section 7.6)
http://www.w3.org/2005/10/Process-20051014/tr.html#rec-modify

For examples see: OWL and RDF Errata
(both having one errata document for all their Recs)
http://www.w3.org/2007/OWL/wiki/Errata
http://www.w3.org/2001/sw/RDFCore/errata

Harold

--------------------------


[1] http://lists.w3.org/Archives/Public/public-rif-wg/2010Nov/0000.html
[2] http://lists.w3.org/Archives/Public/public-rif-comments/2011Jan/
[3] http://lists.w3.org/Archives/Public/public-rif-comments/2010Aug/0000.html




http://www.w3.org/2005/rules/wiki/BLD#Semantic_Structures



*        I(o[a1->v1 ... ak->vk]) = Iframe(I(o))({<I(a1),I(v1)>, ..., <I(an),I(vn)>})
Here {...} denotes a bag of attribute/value pairs. Jumping ahead, we note that duplicate elements in such a bag do not affect the truth value of a frame formula.

Thus, for instance, [a->b a->b] and o[a->b] always have the same truth value.
---->
Thus, for instance, o[a->b a->b] and o[a->b] always have the same truth value.


Note that the definitions of INF and I(x=y) imply that the terms with named arguments that differ only in the order of their arguments are mapped by I to the same element in the domain.

This implies that the equalities like t(a->1 b->2 c->3) = t(c->3 a->2 b->2) are tautologies in RIF-BLD.
---->
This implies that the equalities like t(a->1 b->2 c->3) = t(c->3 a->1 b->2) are tautologies in RIF-BLD.