But is it a model?

At 08:35 AM 11/29/00 -0800, Seth Russell wrote:
>Well whatever else it is, or isn't, I'll bet we can form a consensus that 
>a model
>must at least contain statements.

Unfortunately, it appears that we (all of us, and the RDF spec also) have 
been using the term "model" in a fashion that is inconsistent with 
logicians' usage.  It's now a three-way overloaded term :-(

As for the consensus you suggest, I'm not sure.

#g



------------
Graham Klyne
(GK@ACM.ORG)

Received on Thursday, 30 November 2000 12:33:04 UTC