- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Thu, 30 Jan 2003 10:26:53 -0500 (EST)
- To: www-rdf-comments@w3.org
RDF Concepts states The expressive power of RDF corresponds to the existential-conjunctive (EC) subset of first order logic [Sowa]. How can takes(John,book,school) be represented in RDF? How can loves(John,spouse(John)) be represented in RDF? How can the RDF and RDFS semantic conditions be represented in the existential-conjunctive subset of first order logic?
Received on Thursday, 30 January 2003 10:27:12 UTC