Re: layering RDFS in the MT [was: New RDF model theory]

Dan Connolly wrote:
> 
> pat hayes wrote:
> [...]
> | <comment> When considering RDFS  we will require interpretations
> | to have extra structure. </comment>
> 
> I'd rather not take that approach. I'd rather that the model
> theory were a model theory for all of RDF, no more, and no less.
> I don't want to give the impression that folks should tinker
> with the core model theory when they introduce new vocabulary.
> 
> New vocabularies should just be specified as constraints
> on the core interpretation structure, not changes to it.

I agree that it would be great to avoid the need to deal with the model
theory when defining new vocabularies. However, I'm afraid that
model-theoretic extensions (in terms of additional interpretation
functions etc.) could be necessary, as the latest, wenn someone tries to
define the first-order logic as an RDF-based language (right, Pat?).
Once FOL is defined on top of RDF, other people could specify the
semantics of their vocabulary by relying just on the FOL vocabulary and
the interpretation defined for FOL.

Sergey

Received on Thursday, 16 August 2001 18:45:27 UTC