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

Re: The Cannes Entailment [was: Coming to grips with the entailment put forth by Jeremy]

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Mon, 29 Apr 2002 15:12:23 -0700
Message-Id: <p0510150cb8f373fb0d87@[]>
To: jos.deroo.jd@belgium.agfa.com
Cc: w3c-rdfcore-wg@w3.org
>>>The Rule Fix
>>>We build a rule mechanism, as in the know fix, into RDF.
>>I think adding rules to RDF is a substantial change and out of
>>scope.  Especially this late in the WG cycle.
>Graham, this must be a misunderstanding
>We have already 10 RDFS-entailment and RDFS closures rules in
>and at least 3 draft ones for the RDFD-MT
>that fix here is just maybe 2 extra proposed ones for the RDFD-MT

Hold on, guys. The closure rules are only a technical device in the 
MT to relate different notions of entailment (in the latest draft, 
posted today, Ive tried to clarify that point a bit.)

IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
Received on Tuesday, 30 April 2002 13:12:23 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:12 UTC