- From: Sergey Melnik <melnik@db.stanford.edu>
- Date: Thu, 16 Aug 2001 16:13:30 -0700
- To: Dan Connolly <connolly@w3.org>
- CC: pat hayes <phayes@ai.uwf.edu>, w3c-rdfcore-wg@w3.org
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