Re: W3C RIF: "recursive rules" vs "recursive terms"

Are you speaking of disjunction in the head or body?  I agree that I don't know how to map disjunction in the head to an action that asserts one fact or another.  In the body, though, I think it's do-able.

if A or B then C 

transforms to

if A then C
if B and not A then C

Cheers,
   Gary

attached mail follows: