Proposal revisited: RE: use/mention and reification: rdf:predicate/subject/object... from Jonathan Borden on 2001-05-27 (www-rdf-logic@w3.org from May 2001)

From: Jonathan Borden <jborden@mediaone.net>
Date: Sun, 27 May 2001 10:56:36 -0400
To: "Jonathan Borden" <jborden@mediaone.net>, "Graham Klyne" <GK@ninebynine.org>, "Dan Connolly" <connolly@w3.org>
Cc: "Drew McDermott" <drew.mcdermott@yale.edu>, <www-rdf-logic@w3.org>
Message-ID: <000601c0e6bd$39e350e0$0201a8c0@ne.mediaone.net>

> The semantics of this logic language would be expressed in terms of the
> abstract syntax (i.e. by another specification), but to be clear the
> abstract syntax does not itself define such semantics.

> To be clear, the design of what 'goes into' the tuples was directly
> influenced by the stated requirements of logic languages ...

Specifically, suppose we revisit
http://www.cs.yale.edu/homes/dvm/daml/proposal.html in terms of this
abstract syntax.

-Jonathan

Received on Sunday, 27 May 2001 10:57:47 UTC