Re: Two issues with RIF-Core

********* 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