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

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.

#g


-------------------
Graham Klyne
<GK@NineByNine.org>

Received on Tuesday, 25 February 2003 12:19:54 UTC