W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > July 2003

Re: Cut back RDFCore semantics doc

From: pat hayes <phayes@ihmc.us>
Date: Wed, 2 Jul 2003 14:01:42 -0500
Message-Id: <p06001219bb28dbd7082f@[10.0.100.7]>
To: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Cc: w3c-rdfcore-wg@w3.org

>>" We believe that these rules are complete in the following sense: 
>>if S rdf(s)-entails E then there is a graph which can be derived 
>>from S+the rdf(+rdfs) axiomatic triples by these rules which simply 
>>entails E. However, this has not been conclusively established at 
>>the time of writing."
>>
>>Note that this does not mention closures, so the question of 
>>whether or not they are finite does not come up.
>>
>>This is done in a modified version: 
>>http://www.ihmc.us/users/phayes/RDF_Semant_Edit_appenda.html
>>dated 18a June
>>
>>I will try to propose resolutions for the outstanding semantic 
>>issues asap, but I may have to get on a plane soon.
>>
>>Pat
>
>
>That version suffers the following defects vis-a-vis simple completeness
>
><eg:a> <eg:b> <eg:a> .
>
>entails
>
>_:a <eg:b> _:b .
>
>but this cannot be shown.
>
>Similarly
>
>_:a <eg:b> _:a .
>
>entails
>
>_:a <eg:b> _:b .
>
>
>but this cannot be shown.

Right, it doesnt claim to be complete for simple entailment, only a 
complete rendering down of vocabulary entailment to simple 
entailment. To check simple entailment you have to refer to the 
relevant section and it tells you to use the interpolation lemma.

>
>However your wording in msg
>
>http://lists.w3.org/Archives/Public/www-rdf-comments/2003AprJun/0202
>
>is, I believe, satisfactory.
>
>...
>
>
>The same phrase could be used to conjecture the completeness of the 
>simple entailment rules.
>
>Again, stylistically I dislike the phrase "at the time of writing" 
>in the statement of your conjecture. (Take it or leave it)

Ah, I wondered about that. Anyone else got any opinions? It would be 
real easy to take that out. I wonder though if one can have a 
date-stamped use of RFC 2119 vocabulary??

Pat
-- 
---------------------------------------------------------------------
IHMC	(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32501			(850)291 0667    cell
phayes@ihmc.us       http://www.ihmc.us/users/phayes
Received on Wednesday, 2 July 2003 15:01:45 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:58:41 EDT