W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > January 2002


From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Date: Wed, 30 Jan 2002 10:30:15 +0000
Message-Id: <>
To: Pat Hayes <phayes@ai.uwf.edu>
Cc: w3c-rdfcore-wg@w3.org
Just checking the pink changes... Mostly looks very good.  I have one 
question and a comment.

Section 3:  I notice the condition:

  if x is in IP then IEXT(I(rdf:type)) contains <x, I(rdf:Property)>

is relaxed from iff in the previous version.  Do I take this to mean that 
some things of type rdf:Property (according to the relational extension of 
rdf:type) may be non-members of IP?

Section 4:

RDF closure lemma. Any rdf-interpretation of E satisfies the rdf-closure of 
E; and any minimal simple satisfying interpretation of the rdf-closure of E 
is a satisfying rdf-interpretation of E.

Er, shouldn't that be "Any *satisfying* rdf-interpretation of E ..." ?

(Similarly section 6, RDFS closure lemma?)


At 09:00 PM 1/29/02 -0600, Pat Hayes wrote:
>OK, yet another version of the MT document is now accessible at
>(same URI as before). It passes the W3C link and HTML checks, but the CSS 
>validator insists there is a non-XML character on line 1561, which I 
>cannot find and Dreamweaver apparently cannot edit out (??)
>This has new stuff in yellow and even newer stuff in pink. (Question about 
>good HTML practice. Should the final version have all the <span> and 
><..class=..> stuff edited out of it, or is it considered OK to leave all 
>that clutter in, and just wipe out the colors in the header??)
>All the proofs are now done. This has necessitated a few small changes to 
>the statements of some of the lemmas, and a slight fixing of the semantic 
>conditions on rdf-interpretations (iff--> only if, in the second 
>condition. I should have noticed that iff was a bug a long time ago.)
>I have put in an 'open issues' appendix with links to the issue tracking, 
>and also added some appropriate other links to issues  here and there in 
>the text, and put in the more uptodate references. (Thanks, Dave.) And the 
>appendices are all alphabetic now.
>IHMC                                    (850)434 8903   home
>40 South Alcaniz St.                    (850)202 4416   office
>Pensacola,  FL 32501                    (850)202 4440   fax
>phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes

Graham Klyne                    MIMEsweeper Group
Strategic Research              <http://www.mimesweeper.com>
       /\ \
      /  \ \
     / /\ \ \
    / / /\ \ \
   / / /__\_\ \
  / / /________\
Received on Wednesday, 30 January 2002 05:32:35 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:08 UTC