- From: Pat Hayes <phayes@ai.uwf.edu>
- Date: Thu, 7 Feb 2002 11:17:08 -0600
- To: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
- Cc: w3c-rdfcore-wg@w3.org
> > >>then to be consistent we must also decide that anything (and nothing) >entails: >> >> _:s <rdf:type> <rdf:Statment> . >> _:s <rdf:subject> <subject> . >> _:s <rdf:predicate> <predicate> . >> _:s <rdf:object> <object> . >> >>for any subject, predicate and object. > >i agree -- http://www.agfa.com/w3c/euler/rdfr-theory.n3 Better not try to generate any entailment closures, then. Stick to backward reasoning if you value your hard drive. Pat -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola, FL 32501 (850)202 4440 fax phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes
Received on Thursday, 7 February 2002 12:16:28 UTC