[Fwd: closing semantic issues]

 From Peter PS

Brian


-------- Original Message --------
From: - Mon Nov 05 17:39:01 2001
X-UIDL: AAg3rU2AAAwnF0MCgBgdoGB1kU0hhOhX
X-Mozilla-Status: 0001
X-Mozilla-Status2: 00000000
Received: from 0-mail-1.hpl.hp.com (localhost [127.0.0.1]) by 
0-mail-1.hpl.hp.com with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2650.21) 
id WHH53G0Z; Mon, 5 Nov 2001 17:43:02 -0000
Received: from 15.144.59.2 by 0-mail-1.hpl.hp.com (InterScan E-Mail VirusWall 
NT); Mon, 05 Nov 2001 17:43:01 -0000
Received: from hplb.hpl.hp.com (hplb.hpl.hp.com [15.144.59.8])	by otter.hpl.hp.com (8.9.3 
(PHNE_22672)/HP-Labs Bristol Internal Mail Hub) with ESMTP id RAA22762	for 
<bwm@otter.hpl.hp.com>; Mon, 5 Nov 2001 17:43:00 GMT
Received: from dirty.research.bell-labs.com (dirty.research.bell-labs.com [204.178.16.6])	by 
hplb.hpl.hp.com (8.9.3 (PHNE_22672)/HPLabs Bristol Relay) with SMTP id RAA02801	for 
<bwm@hplb.hpl.hp.com>; Mon, 5 Nov 2001 17:42:55 GMT
Received: from grubby.research.bell-labs.com ([135.104.2.9]) by dirty; Mon Nov 
5 12:40:28 EST 2001
Received: from harrier.research.bell-labs.com (harrier.research.bell-labs.com [135.104.26.201])	by 
grubby.research.bell-labs.com (8.11.6/8.11.6) with ESMTP id fA5HdmR86061;	Mon, 5 Nov 2001 
12:39:48 -0500 (EST)
Received: from idefix.research.bell-labs.com (idefix.research.bell-labs.com [135.104.27.73])	by 
harrier.research.bell-labs.com (8.9.1/8.9.1) with ESMTP id MAA08583;	Mon, 5 Nov 2001 
12:39:47 -0500 (EST)
Received: from localhost (localhost [127.0.0.1])	by idefix.research.bell-labs.com 
(8.8.6/8.8.6) with ESMTP id MAA25886;	Mon, 5 Nov 2001 12:39:47 -0500 (EST)
To: bwm@hplb.hpl.hp.com
Cc: Pat Hayes <phayes@ai.uwf.edu>
Subject: closing semantic issues
X-Mailer: Mew version 1.94 on Emacs 20.2 / Mule 3.0 (MOMIJINOGA)
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-Id: <20011105123946P.pfps@research.bell-labs.com>
Date: Mon, 05 Nov 2001 12:39:46 -0500
From: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
X-Dispatcher: imput version 990905(IM130)
Lines: 19
X-ECS-MailScanner: Found to be clean

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.

The current model theory does address collections, but its treatment of
collections leaves much to be desired.  In particular, rdf:Bag is not a bag
at all, but instead is much more like a sequence.  If rdf is going to have
something called rdf:Bag, then its *RDF* semantics should conform to the
intended meaning of bags!

Peter F. Patel-Schneider
Bell Labs Research
Lucent Technologies

PS:  Feel free to forward this message to rdf-core-wg.

Received on Monday, 5 November 2001 12:46:46 UTC