Re: additional issue-57 use case: polysemy

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]