W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > July to September 2006

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
Message-Id: <F28AD1CF-A27B-48A7-AACB-D158372CBBC7@inf.unibz.it>
Cc: RDF Data Access Working Group <public-rdf-dawg@w3.org>
To: Pat Hayes <phayes@ihmc.us>



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 GMT

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:27 GMT