W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2001

Re: closing semantic issues

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Mon, 5 Nov 2001 12:13:46 -0600
Message-Id: <p05101020b80c84758fa6@[]>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: w3c-rdfcore-wg@w3.org
>I maintain that the issues raised in #rdf-formal-sematics are not adequately
>addressed in the model theory, and that this issue should not be closed.
>In particular, the current model theory does not address reification at
>all, so there is no sense that it can be used to close an issue whose
>summary asks:
>	What is the relationships between a statement and its reification.

True, and I wish it did address reification. For reasons that are 
still opaque to me, the treatment of reification that I originally 
offered was rejected by the WG, but until someone can tell me *what* 
was wrong with it, I am somewhat at a loss as to how to proceed.

>The current model theory does address collections, but its treatment of
>collections leaves much to be desired.

I beg to differ on a point of order. The MT treatment of rdf:Bag is I 
believe in very close conformity to the treatment described 
(informally but thoroughly) in the M&S. As you say:

>  In particular, rdf:Bag is not a bag
>at all, but instead is much more like a sequence.

Right, and that is exactly how the M&S so describes it, by insisting 
that :_1, :_2 and so on apply to *all* containers. It would be easy 
to change the MT to describe a different notion than rdf:Bag, but 
then it would not in fact describe RDF.

>  If rdf is going to have
>something called rdf:Bag, then its *RDF* semantics should conform to the
>intended meaning of bags!

Its model theory should conform to its intended meaning, but if that 
intended meaning is not in conformity with a broader notion of 'bag', 
then don't blame the model theory.  What you are complaining about 
here is an issue in how RDF should treat containers, but its not a 
model theory issue.


IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
Received on Monday, 5 November 2001 13:13:44 UTC

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