Re: Semantics necessary not sufficient (was: Re: What is "the serious bug in entailment semantics" found by J. Perez"?)

From: Enrico Franconi <franconi@inf.unibz.it>
Date: Fri, 11 Aug 2006 23:07:19 +0200
To: Pat Hayes <phayes@ihmc.us>
Cc: RDF Data Access Working Group <public-rdf-dawg@w3.org>
Message-Id: <F28AD1CF-A27B-48A7-AACB-D158372CBBC7@inf.unibz.it>

On 11 Aug 2006, at 22:30, Pat Hayes wrote:

> I think the style of definition that you came up with originally,  
> involving 'reversible skolemization', would work.

Indeed.

--e.

Received on Friday, 11 August 2006 21:08:00 UTC