Re: anonymous frames?

>> Given that the proposed mapping of RDF to RIF will map the triple 
>> (s,p,o) to the Frame s[p->o], then RDF lists will end up as nested RIF 
>> Frame structures:
>>
>>    _:1[rdf:first->a, rdf:rest->
>>        _:2[rdf:first->Y, rdf:rest->
>>            _:3[rdf:first->c, rdf:rest->rdf:nil]]]
> 
> Is there a way in F-Logic to have a frame without a name?  For example I
> want to write that John's mother's brother is Henry, without naming the
> mother.  Can I say something like:
> 
>    John[mother->[brother->Henry]]

in the RIF frame syntax this could be modeled using an existentially
quantified variable, which is equivalent to a bnode in RDF:

Exists ?X John[mother -> ?X[brother -> Henry]]

We can only allow this in the body of a rule, because of the existential
quantification.


Best, Jos

> 
> ?
> 
>      -- Sandro
> 
> 
> 
> 

-- 
Please note my new email address:
                         debruijn@inf.unibz.it

Jos de Bruijn,        http://www.debruijn.net/
----------------------------------------------
In heaven all the interesting people are
missing.
  - Friedrich Nietzsche