Re: MT feedback

Pat--

I'd like you to resist (if possible) the feeling that some of these
issues people are raising (like the one about literals) are issues with
the *model theory* per se, rather than issues with *RDF* that the WG has
to wrestle with, and figure out where we stand on them.  That's not to
say the model theory won't help;  but if the WG is agnostic on some
issue, it's not really a problem with the *model theory* if the model
theory accurately reflects that.  

To raise a similar issue, it's going to be difficult writing a very
convincing Primer section about reification, given our current
understanding (to use the term loosely!) of reification (at least in my
opinion).  If the resulting section isn't very convincing, it won't be
an issue with the *Primer*.  GIGO, as we used to say :-)

--Frank


Pat Hayes wrote:
> 
> I am sure that I can fix all the bugs in the RDFS model theory. They
> are all things missing from the closure-rule table in section 6.
> 
> However, it is also clear that there are some subtle issues
> surrounding rdfs:Literal  (see
> http://lists.w3.org/Archives/Public/www-rdf-logic/2001Sep/0039.html )
> that really ought to be explained in a bit more detail, and should
> probably be looked at by the WG before being published. Many of the
> problems that Peter has noted aren't in fact fatal, but they do show
> up the need for more exposition. Also, since Peter and Dan Connolly
> seem to agree about the oddity of ICEXT, I will see what happens if I
> rewrite the MT without using it at all.
> 
> I will try to get this all done as (a) readable draft(s) (with
> changes all style-sheeted for visibility) before Monday.
> 
> Pat
> 
> PS. I guess the fact that Peter didn't find anything much wrong with
> section 3 can be thought to be some consolation :-)
> --
> ---------------------------------------------------------------------
> 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

-- 
Frank Manola                   The MITRE Corporation
202 Burlington Road, MS A345   Bedford, MA 01730-1420
mailto:fmanola@mitre.org       voice: 781-271-8147   FAX: 781-271-8752

Received on Thursday, 27 September 2001 10:21:23 UTC