Re: model theory for RDF/S

[Dan Connolly]
>[...]
> > Claim 3:
> >
> > For every basic untidy RDF graph R there is a core RDF interpretation
that
> > captures exactly the closure of the intended core RDF meaning of R and
that
> > is a model for R.  That is, roughly, that there is a model that makes
> > everything implicitly (or explicitly) in the graph true, and everything
> > else false.
>
> I have no idea what the significance of this claim is, let
> alone any sense of whether I agree or disagree with it.
>

I don't either, but it seems to bear on open versus closed systems. doesn't
it?  Are there true statements not in the graph or not?  Usually people say
(I think that includes you, right?) that the Web must be or is an open
system, while those interested in definitively proving things would like a
system to be closed.  Perhaps this gives you a way to construct a closed
system if you need one.

Cheers,

Tom P

Received on Thursday, 27 September 2001 12:20:48 UTC