http://www.coginst.uwf.edu/users/phayes/w3-rdf-mt-draft-J.html

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?)

#g
--

At 09:00 PM 1/29/02 -0600, Pat Hayes wrote:
>OK, yet another version of the MT document is now accessible at
>
>http://www.coginst.uwf.edu/users/phayes/w3-rdf-mt-draft-J.html
>
>(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.
>
>Pat
>
>--
>---------------------------------------------------------------------
>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>
<Graham.Klyne@MIMEsweeper.com>
        __
       /\ \
      /  \ \
     / /\ \ \
    / / /\ \ \
   / / /__\_\ \
  / / /________\
  \/___________/

Received on Wednesday, 30 January 2002 05:32:35 UTC