W3C home > Mailing lists > Public > public-rif-wg@w3.org > January 2011

[RIF Errata] Process and Examples

From: Boley, Harold <Harold.Boley@nrc-cnrc.gc.ca>
Date: Tue, 25 Jan 2011 13:59:25 -0500
To: "'public-rif-wg@w3.org'" <public-rif-wg@w3.org>
Message-ID: <D7548FA9B5763F408F5EB57EE2838362E38346F3@NRCCENMB1.nrc.ca>
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.
Received on Tuesday, 25 January 2011 19:00:20 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 25 January 2011 19:00:22 GMT