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

RE: more comments Re: top-level Comment on lBase

From: pat hayes <phayes@ai.uwf.edu>
Date: Wed, 30 Oct 2002 11:35:15 -0600
Message-Id: <p05111b1fb9e5c73c5626@[]>
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.
>>  > >>>
>>  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
>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.
>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 


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

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