W3C home > Mailing lists > Public > www-rdf-comments@w3.org > January to March 2003

Re: Issue #pfps-16 What is the expressive power of RDF?

From: Yuzhong Qu <yzqu@seu.edu.cn>
Date: Sat, 1 Mar 2003 17:40:03 +0800
Message-ID: <00c101c2dfd6$89fb7a30$2e0f77ca@xobjects>
To: "Graham Klyne" <GK@ninebynine.org>, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: "rdf-comments" <www-rdf-comments@w3.org>

> At 10:15 PM 2/24/03 -0500, Peter F. Patel-Schneider wrote:
> > > >> > >RDF Concepts states
> > > >> > >         The expressive power of RDF corresponds to the
> > > >> > >         existential-conjunctive (EC) subset of first order logic 
> > [Sowa].
> >
> >Then everything in RDF (and maybe RDFS) should be representable in
> >the existential-conjunctive (EC) subset of first order logic.
> 
> OK, I see now.  Thank you.

Pardon for chime in.

I don't think RDFS can be representable in the existential-conjunctive (EC) subset of first order logic.
Please consider the essential meaning of rdfs:domain and rdfs:range.

Yuzhong Qu

> #g
> 
> 
> -------------------
> Graham Klyne
> <GK@NineByNine.org>
> 
> 
> 
Received on Saturday, 1 March 2003 04:36:45 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:31 GMT