Re: RIF+XML data ready for publication

Hi Gary,

Gary Hallmark <gary.hallmark@oracle.com> wrote on 21/10/2010 13:00:34:
> 
> Example 2.4 seems to imply that "fn:data(expr)"^^xs:string = 
> "fn:data(.)"^^xs:string.

You may have misread the example:
φ = Forall ?x ?y ?z (?x["fn:data(expr)"->?z] :- ?x["expr"->?y]) 
ψ = Forall ?x ?y ?z (?y["fn:data(.)"->?z] :- ?x["expr"->?y]) 

The object of the frame in the conclusion of the first rule is different 
from the object of the frame in the conclusion of the second rule.

So, it does not imply, even seemingly, that the two string constants are 
equal.

But even if the object of the two frames was the same, it would not imply 
that the two constants are equal: the example only says that the first 
rule entails the second, that is, that every RIF+XML data model of the 
first one is also a RIF+XML data combined model of the other one (which is 
not true if the two frames have the same object, in general, of course).

Do you think that we should stress that more in the example? Or are you ok 
with the clarification (if the clarification removed your objection: does 
it?)?

Cheers,

Christian

IBM
9 rue de Verdun
94253 - Gentilly cedex - FRANCE
Tel./Fax: +33 1 49 08 29 81


Sauf indication contraire ci-dessus:/ Unless stated otherwise above:
Compagnie IBM France
Siege Social : 17 avenue de l'Europe, 92275 Bois-Colombes Cedex
RCS Nanterre 552 118 465
Forme Sociale : S.A.S.
Capital Social : 612.509.964 €
SIREN/SIRET : 552 118 465 03644