# RE: RDF Semantics: Interpretations and Modelling

From: pat hayes <phayes@ai.uwf.edu>
Date: Tue, 4 Feb 2003 09:51:30 -0600
Message-Id: <p05111b32ba6590891846@[10.0.100.86]>
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>
```>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
>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:
>>
>>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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:54:04 UTC