- From: pat hayes <phayes@ihmc.us>
- Date: Wed, 2 Jul 2003 14:01:42 -0500
- 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 UTC