Re: RDF Compatibility (Re: Homework for 17 Apr telecon)

Sandro Hawke wrote:
> The n3 rule
>     { a b c.  d e f } => { g h i }
> would have to turn into (ad hoc syntax)
>     if  ( b(a,c) or a[b->>c] ) and
>         ( e(d,f) or d[e->>f] ) 
>     then ( h(g,i) and g[h->>i] )
> which isn't Horn, 
? What are the variables in this rule?
> but can be re-writen to Horn with exponential growth.
>   
? Could zou please explain this?
> T
Francois