Re: anonymous frames?

In PR systems we need to declare patterns without having to first bind 
the pattern to a variable, which is the limitation of our first 
implementation approach. See 
http://markproctor.blogspot.com/2007/06/w3c-rule-interchange-format-for.html 
for more details

Mark
Sandro Hawke wrote:
> Dave Reynolds <der@hplb.hpl.hp.com> writes:
>   
>> 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]]
>
> ?
>
>      -- Sandro
>
>
>
>   


-- 
Registered Address: Red Hat UK Ltd, Amberley Place, 107-111 Peascod Street, Windsor, Berkshire,
SI4 1TE, United Kingdom.
Registered in UK and Wales under Company Registration No. 3798903
Directors: Michael Cunningham (USA), Charlie Peters (USA) and David Owens (Ireland)