Re: context sensitivity

The problem is the following line (in rpo-rules.n3)

{?X :mu (?C ?M). (1.0 ?M) math:difference ?N} => {?X :mu 
(?C^owl:complementOf ?N)}.

What that like does is create an infinite loop in a forward chainer. If 
the rule fires, it will create an anonymous node that will set off the 
rule again.



Yosi Scharf