- From: Brian McBride <bwm@hplb.hpl.hp.com>
- Date: Mon, 05 Nov 2001 17:41:01 +0000
- To: rdf core <w3c-rdfcore-wg@w3.org>
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