- From: pat hayes <phayes@ai.uwf.edu>
- Date: Tue, 4 Feb 2003 09:51:30 -0600
- To: "Massimo Marchiori" <massimo@w3.org>
- Cc: <w3c-rdfcore-wg@w3.org>, Ossi Nykänen <onykane@butler.cc.tut.fi>, "Massimo Marchiori" <massimo@w3.org>
- Message-Id: <p05111b32ba6590891846@[10.0.100.86]>
>Pat, this reply brought to my mind a lovely Sidney Harris' t-shirt >that Leslie Lamport showed me for the first time ten years ago or so >(wow, time flies....): ><http://www.scienceteecher.com/proof.htm>http://www.scienceteecher.com/proof.htm >Can you please give a proof of your entailment? ;) >Thanks, >-M > Sure. Its kind of trivial, though. The basic RDF semantic rules for simple entailment (in fact for any kind of entailment except linear logics) support the rule that if A entails B then A entails (A and B), since A entails A trivially. The inference cited is simply a special case of that. Can you, in turn, say why you think this is wrong? Pat >> >>Ossi, this is the Bag/Alt issue, raised in May 2002: >> >>http://lists.w3.org/Archives/Public/www-rdf-comments/2002AprJun/0112.html >>AFAIK never replied yet. >>Incidentally, the same wrong argument pointed therein appears again >>in the current last call draft. >> > >Im not sure which 'wrong argument' you are referring to. I stand by >everything I said that is included in the above-referenced message. >In particular, > >" If >_:xxx [rdf:type] [rdf:Bag] . >> _:xxx [rdf:_1] <ex:a> . >> _:xxx [rdf:_2] <ex:b> . >> >> entails >> >> _:xxx [rdf:_1] <ex:b> . >> _:xxx [rdf:_2] <ex:a> . >> >> then it also must entail >> >> _:xxx [rdf:type] [rdf:Bag] . >> _:xxx [rdf:_1] <ex:a> . >> _:xxx [rdf:_2] <ex:b> . >> _:xxx [rdf:_1] <ex:b> . >> _:xxx [rdf:_2] <ex:a> . >> >> and by suitable reordering, it will entail that ALL members of the > > bag are in ALL positions." > >is a correct argument, and your response to it is incorrect. > >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@ai.uwf.edu http://www.coginst.uwf.edu/~phayes >s.pam@ai.uwf.edu for spam -- --------------------------------------------------------------------- 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@ai.uwf.edu http://www.coginst.uwf.edu/~phayes s.pam@ai.uwf.edu for spam
Received on Tuesday, 4 February 2003 10:49:53 UTC