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: Wed, 16 May 2001 11:00:26 -0400
Message-ID: <11df01c0de18$f13779e0$0a2e249b@nemc.org>
To: "Graham Klyne" <GK@Ninebynine.org>, "dehora" <bill@dehora.fsnet.co.uk>
Cc: "pat hayes" <phayes@ai.uwf.edu>, <www-rdf-logic@w3.org>
dehora wrote:
> I think both can be done in RDF. KR reification can be approximated
> if an RDF serialization is embedded in a string literal. Assume we
> have a Noddy linear form for RDF that we can use as an object language:
>   s:X, p:Y, o:Z.
> where s: p: o: are markers for subject property object and on their
> right is a URI or a literal, '.' is just a terminator and ',' is a
> separator (we could easily use brackets/arrows or some such, doesn't
> really matter). String literals are inside double quotes, nesting
> these quotes is ok. For brevity, let's pretend that anything which
> isn't double quoted to the right of s: p: o: is a URI as per the M&S
> etc (many URIs can be an eyesore).
> To KR reify this statement:
>   s:sky, p:is o:blue
> I'd suggest simply doing this:
>   "s:sky, p:is o:blue"
> Since RDF literals are just strings, they'll be mentioned not used:
>   s:elvis, p:says, o:"s:sky, p:is o:blue".

Is this not essentially what I have proposed:


the difference being that it is not clear if you intend the "s:foo" form to
refer to a specific QName or new top level URI scheme. By encapsulating the
statement in a fragment identifier, and using a well known order
(predicate,subject,object) the above is represented as:

(:says, :elvis, (:is, :sky, :blue))

and with syntactic sugar

#triple(:says, :elvis, <#triple(:is,:sky,:blue)>)

as a fragment identifier, this is intended to be represented as a string.
In any case it is trivially parsed into a structure that can be interpreted
as a predicate by e.g. a Prolog engine.

Jonathan Borden
The Open Healthcare Group
Received on Wednesday, 16 May 2001 11:16:55 UTC

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