- From: Yosi Scharf <syosi@MIT.EDU>
- Date: Fri, 02 Sep 2005 10:37:08 -0400
- To: public-cwm-talk@w3.org, jos.deroo@agfa.com
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
Received on Friday, 2 September 2005 14:37:34 UTC