RE: Reification from Danny Ayers on 2001-04-09 (www-rdf-logic@w3.org from April 2001)

From: Danny Ayers <danny@panlanka.net>
Date: Mon, 9 Apr 2001 22:54:58 +0600
To: "Peter Crowther" <Peter.Crowther@melandra.com>, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, "David Allsopp" <dallsopp@signal.dera.gov.uk>
Cc: <www-rdf-logic@w3.org>
Message-ID: <EBEPLGMHCDOJJJPCFHEFIEDMDBAA.danny@panlanka.net>

Ok, so either RDF needs revising to include something along the lines of :

 http://www.daml.org/2001/03/model-theoretic-semantics.html,

or, anyone wishing to use such facilities should reference that namespace.

What's wrong with my machine saying 'I talk RDF(S)+DAML' and refusing to
have anything to do with anything that doesn't understand DAML - if this
issue is *so* important, then everybody will include such a constraint and
you've got your common language.

BTW, to my machine (and me)  "for y in AD, if <x,y> in IR(?P) and <y,z> in
IR(?P) then <x,z> in IR(?P)" doesn't mean anything more than e.g.  "not"
does - where is this meaning exactly?

Received on Monday, 9 April 2001 13:00:01 UTC