W3C home > Mailing lists > Public > public-rif-wg@w3.org > May 2009

Re: Two issues with RIF-Core

From: Christian De Sainte Marie <csma@fr.ibm.com>
Date: Tue, 12 May 2009 14:29:24 +0200
To: Dave Reynolds <der@hplb.hpl.hp.com>
Cc: Gary Hallmark <gary.hallmark@gmail.com>, RIF WG <public-rif-wg@w3.org>, Sandro Hawke <sandro@w3.org>
Message-ID: <OFD008DF93.E5785D3A-ONC12575B4.004351F4-C12575B4.00449CF8@fr.ibm.com>
********* NOTICE **********
My new email address at IBM is: csma@fr.ibm.com
My ILOG email address will not be forwarded after June 8
*****************************

Dave,

Dave Reynolds wrote on 10/05/2009 11:02:34:
> 
> Gary Hallmark wrote:
> > ok, I can implement quantification over property names using Java
> > reflection, so how about
> > 
> > Frame ::= TERM '[' ((Const|Var) '->'  TERM)* ']'
> 
> That doesn't help you because you can still do things like:
> 
> [...]
> 
> To restrict the types of things that can be slot names that would have 
> to go in the semantics rather than the syntax (that was my error in my 
> too-quick-reply). E.g. restrict the domain of Iframe to be 
> SetOfFiniteBags((Dind - Dlist) x Dind)

Wouldn't an additional condition in the definition of the context of a 
symbol do what Gary wants?

Something like:

* If s occurs as a slot in an atomic subformula of the form ...[...s->...] 
(frame's slot) then s occurs in the context of a slot symbol.

Or, if we want to enforce a strictly equivalence between binary atoms and 
slot names as predicates:

* If s occurs as a predicate in an atomic subformula of the form s(...) 
(positional or named-argument) or of the form ...[...s->...]  (frame's 
slot) then s occurs in the context of a (plain) predicate symbol. 

Cheers,

Christian


ILOG, an IBM Company
9 rue de Verdun
94253 - Gentilly cedex - FRANCE
Tel. +33 1 49 08 35 00
Fax +33 1 49 08 35 10


Sauf indication contraire ci-dessus:/ Unless stated otherwise above:
Compagnie IBM France
Siège Social : Tour Descartes, 2, avenue Gambetta, La Défense 5, 92400 
Courbevoie
RCS Nanterre 552 118 465
Forme Sociale : S.A.S.
Capital Social : 609.751.783,30 ?
SIREN/SIRET : 552 118 465 02430
Received on Tuesday, 12 May 2009 12:30:13 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:08 GMT