- From: Yuzhong Qu <yzqu@seu.edu.cn>
- Date: Sat, 1 Mar 2003 17:40:03 +0800
- To: "Graham Klyne" <GK@ninebynine.org>, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
- Cc: "rdf-comments" <www-rdf-comments@w3.org>
> 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> > > >
Received on Saturday, 1 March 2003 04:36:45 UTC