- From: pat hayes <phayes@ai.uwf.edu>
- Date: Wed, 30 Oct 2002 11:35:15 -0600
- To: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>
- Cc: w3c-rdfcore-wg@w3.org
> > > >> > MUST: >> > replace "This document address these two requirements." with >> > <<< >> > These two requirements are primarily addressed by the RDF Model Theory >> > (ref) and the RDF Test Cases (ref). >> > >> > This document describes an alternative complimentry approach. >> > >>> >> >Dan: >> I wrote the status section. Per >> http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0256.html >> I propose a simpler change: > >> s/This document addresses these two requirements./ >> This document is motivated by these two requirements./ > >> Does that satisfy your concern? > >Sorry I missed that ... > >That's certainly an improvement in the status. > >I am convinced that the Model Theory needs to be in the references, and >mentioned in the introduction, and an acknowledgement that using model >theories as the basis for layering, while not unproblematic has not been >disastrous. > >In my view, those requirements are fully addressed by the MT and Test Cases. >This document legitimately takes another view of the same requirements. But >it should not diminish the value of our REC track docs. For RDF I would agree, For OWL and layering I think the case for Lbase is much stronger. > >A possible change which would clarify that, would be section 1. > >e.g. >Add ><<< > >Model theoretic semantics has already proved a useful tool for discussing >and resolving issues related to layering in the semantic web. Specifically, >the semantics of OWL [in preparation] is related to the semantics of RDF and >RDFS [RDF MT], by model theoretic means. But this fails to acknowledge the fact that for 9 months we were stuck trying to do it that way, that at least two papers were published claiming that it was impossible, and that the only way we managed to actually do it, finally, was by using a technique which (although I didn't emphasize this in the documents) was in fact based on an Lbase translation. I think that to say that the model theory has been useful as a way of *resolving* layering issues is really not accurate. Pat -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32501 (850)291 0667 cell phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes s.pam@ai.uwf.edu for spam
Received on Wednesday, 30 October 2002 12:35:50 UTC