- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Mon, 24 Feb 2003 22:15:44 -0500 (EST)
- 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 UTC