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: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Mon, 24 Feb 2003 22:15:44 -0500 (EST)
Message-Id: <20030224.221544.01421187.pfps@research.bell-labs.com>
To: bwm@hplb.hpl.hp.com
Cc: GK@ninebynine.org, www-rdf-comments@w3.org

From: Brian McBride <bwm@hplb.hpl.hp.com>
Subject: Issue #pfps-16 What is the expressive power of RDF?
Date: Mon, 24 Feb 2003 12:11:16 +0000

> At 10:57 21/02/2003 +0000, Graham Klyne wrote:

[...]

> >2. How can the RDF and RDFS semantic conditions be represented in the
> >existential-conjunctive subset of first order logic?
> >
> >I am not aware that this was ever claimed; indeed, I don't think it is 
> >possible to do this.  So I do not understand why this is a concern.
> >
> >#g

[...]

If, as claimed,

> >> > >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.

peter
Received on Monday, 24 February 2003 22:17:16 GMT

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