- 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
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