RE: RIF: A thought about requirements --> PRR

> ... I don't see how an interchange language
> that doesn't interchange between logical and production rules is going
> help push either logical or production rules into the sphere of the
> other.  

You seem to overlook the fact that pure assertion PRs 
correspond to (in fact, implement) logical derivation 
rules, and so there is the possibility of interchange 
between the two.
 
> ... I just don't see any resultant forces towards helping 
> production rules enter the Semantic Web 

Didn't they enter the Semantic Web already in the form of 
cwm, Euler and Jena rules (I think these are PR systems)?

-Gerd