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.

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