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

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