Issue 34 in fuxi: Extensive latency when running testOwl.py --strategy=bfp

[fu...@googlecode.com]

Status: New
Owner: onewnan
Labels: Type-Defect Priority-High

New issue 34 by onewnan: Extensive latency when running testOwl.py
--strategy=bfp
http://code.google.com/p/fuxi/issues/detail?id=34

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.

[fu...@googlecode.com]

Updates:
Status: Invalid

Comment #1 on issue 34 by chime...@gmail.com: Extensive latency when

running testOwl.py --strategy=bfp
http://code.google.com/p/fuxi/issues/detail?id=34

When I run the same command-line on my macbook laptop, it (currently code)
completes in 12 seconds using the BFP reasoner