W3C home > Mailing lists > Public > www-tag@w3.org > June 2012

Re: additional issue-57 use case: polysemy

From: Henry S. Thompson <ht@inf.ed.ac.uk>
Date: Tue, 05 Jun 2012 19:43:28 +0100
To: Pat Hayes <phayes@ihmc.us>
Cc: Jonathan A Rees <rees@mumble.net>, www-tag@w3.org
Message-ID: <f5b8vg11twv.fsf@calexico.inf.ed.ac.uk>
Pat Hayes writes:

> On Jun 5, 2012, at 11:05 AM, Henry S. Thompson wrote:
>
>> One probably tangential query: [1] says
>> 
>>  "The extension graph, if provided, must be true under the semantic
>>   conditions of the extension."
>> 
>
> Perhaps this would have been better phrased as "If an extension
> graph is provided, it is treated as a partial axiomatization of the
> extension, so that all its triples are assumed to be true in all
> interpretations which conform to the extension."

OK, I misunderstood -- my quote from the is not in fact an "eat your
own cooking" requirement, but rather a (partial) definition of what
the impact of extension semantics _is_.

Thanks,

ht
-- 
       Henry S. Thompson, School of Informatics, University of Edinburgh
      10 Crichton Street, Edinburgh EH8 9AB, SCOTLAND -- (44) 131 650-4440
                Fax: (44) 131 650-4587, e-mail: ht@inf.ed.ac.uk
                       URL: http://www.ltg.ed.ac.uk/~ht/
 [mail from me _always_ has a .sig like this -- mail without it is forged spam]
Received on Tuesday, 5 June 2012 18:46:21 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:56:45 UTC