Extensive latency when running testOwl.py --strategy=bfp

What steps will reproduce the problem?

testOwl.py --strategy=bfp

The test gets underway then hangs in what appears to be an infinite loop, 
suckng up 100% of the CPU.  However, it finally completes after a few minutes.  
This is of course much more cpu intensive than with the other strategies:

===============================================
 'OWL/intersectionOf/Manifest001.rdf': '333.187818527 milli seconds',
 'OWL/inverseOf/Manifest001.rdf': '72.2098350525 milli seconds',
 'OWL/unionOf/Manifest001.rdf': '67.4600601196 milli seconds'}
ok

----------------------------------------------------------------------
Ran 1 test in 205.390s

OK
===============================================

Here's what the output looks like when it hangs:

===============================================
 Forall ?S ?O ( owl:complementOf(?O ?S) :- owl:complementOf(?S ?O) ),
 Forall ?S ?O ( owl:disjointWith(?O ?S) :- owl:disjointWith(?S ?O) ),
 Forall ?L1 ?L2 ?ANY ?L ( owl:differentFrom(?L1 ?L2) :- And( owl:AllDifferent(?ANY) owl:distinctMembers(?ANY ?L) list:in(?L1 ?L) list:in(?L2 ?L) <http://www.w3.org/2000/10/swap/log#notEqualTo>(?L1,?L2) ) ),
 Forall ?I ?R ?L ( list:in(?I ?L) :- And( rdf:rest(?L ?R) list:in(?I ?R) ) ),
 Forall ?I ?L ( list:in(?I ?L) :- rdf:first(?L ?I) )]
Goal to solve  SELECT ?SUBJECT {    ?SUBJECT 
<http://www.w3.org/2002/07/owl#differentFrom> 
<http://www.w3.org/2002/03owlt/distinctMembers/premises001#Barney> }
Time to build production rule (RDFLib): 8.89301300049e-05 seconds
===============================================

This is entered with an initial priority of high since bfp is now the preferred 
reasoning strategy.

Original issue reported on code.google.com by onew...@gmail.com on 7 Nov 2010 at 3:34

cliffxuan / fuxi

Extensive latency when running testOwl.py --strategy=bfp #34