- From: Francois Bry <bry@ifi.lmu.de>
- Date: Fri, 05 May 2006 12:11:58 +0200
- To: public-rif-wg@w3.org
Gerd Wagner wrote: >>> Hopefully there can be many modules shared between >>> dialects, where both the syntax and semantics are >>> shared. I'm not sure if it'll ever make sense to share >>> syntax but not semantics for some part of a language. >>> >> Well, it seems to me that the proposal by Boley et al >> advocates precisely this view. My reading of the >> proposal is that several (perhaps many) RIF dialects >> will share the same syntax (or very similar syntaxes) >> for conditions but will diverge on semantics. >> > > Let me try to elaborate on this observation: > > 1) The RIF family will consist of several branches > of dialects, most of which overlap in their condition > language. Each branch will have a core, which > defines the common syntax and semantics of the branch. > Extensions of this core define additional syntax and > semantics. > > 2) Most RIF dialects will not only share the syntax > but also the semantics of conditions (except for > normative/integrity rules, which do, in general, not > have conditions). > > 3) Data literals, object names, function symbols > and predicate symbols may be typed. Using suitable > predicate/atom types, this allows to represent RDF > and OWL rules directly (and not only via a "query > interface"). > > -Gerd > > > > > +1 FRancois
Received on Friday, 5 May 2006 10:12:07 UTC