W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > February 2002

Re: summary of reification?

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Thu, 7 Feb 2002 11:17:08 -0600
Message-Id: <p0510145db888669947c7@[65.212.118.208]>
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 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:45:07 EDT