W3C home > Mailing lists > Public > www-rdf-logic@w3.org > May 2001

Re: What do the ontologists want

From: Jonathan Borden <jborden@mediaone.net>
Date: Tue, 15 May 2001 19:25:59 -0400
Message-ID: <11ad01c0dd96$66a24f80$0a2e249b@nemc.org>
To: "Graham Klyne" <GK@ninebynine.org>, "pat hayes" <phayes@ai.uwf.edu>
Cc: <www-rdf-logic@w3.org>
pat hayes:
> PS. There seems to be an implicit assumption in some of the RDF
> literature that the only two things to do with a sentence (triple)
> are to either assert it or to reify it, so any use that doesnt
> involve asserting a triple must reify it. This is just wrong. Logical
> notation is full of examples of sentences being used but not being
> asserted. The simplest is probably negation: when one writes (not P),
> P is being used (not mentioned or reified), but it is not being
> asserted: on the contrary, in fact. Now, it might be that RDF is
> incapable of making this distinction. So much the worse for RDF, if
> so.

*light goes off in head*

you are absolutely correct.

note that my use of statements in _fragment identifiers_ is _syntactically
distinct_ from statements in XML syntax.

The RDF 'model' (in the current RDF usage of the term 'model') is a set of
triples. No partition is provided that distinguishes triples that are
asserted vs. merely being used. Current RDF 'reification' is a technique
that allows a statement to be represented without being directly contained
(hence asserted) in the model.

by introduction of a distinct syntax, one that allows the formation of a
_URI reference_ that directly represents, quotes if you will, a triple, such
a triple is partitioned from the triples that are asserted (hence my thought
is that this mechanism is compatible with the current RDF abstract syntax)

What you are suggesting appears to require reworking of the RDF model. Any
suggestions on how to best do this?

Jonathan Borden
The Open Healthcare Group
Received on Tuesday, 15 May 2001 19:42:21 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:45:37 UTC