- From: Graham Klyne <gk-lists@dial.pipex.com>
- Date: Tue, 28 Nov 2000 19:09:55 +0000
- To: pat hayes <phayes@ai.uwf.edu>
- Cc: RDF-Logic <www-rdf-logic@w3.org>
At 09:44 AM 11/27/00 -0600, pat hayes wrote: >The domain of a model theory, more or less by definition of the term >"model theory", is the expressions of the language (or perhaps more >exactly, the parsings of those expressions according to the syntactic >rules of the language.) I'm not sure I'd know a model theory if it leapt up and bit me, but that's a useful start for me. What would you say is the "range" of a model theory? >So I repeat: are you saying that the 'at' assertions are part of RDF, or not? I'd say not, but that it is possible to _model_ the 'at' assertions in RDF. #g ------------------------------------------------------------ Graham Klyne Content Technologies Ltd. Strategic Research <http://www.mimesweeper.com> <Graham.Klyne@mimesweeper.com> ------------------------------------------------------------
Received on Wednesday, 29 November 2000 16:07:45 UTC