search

cliffxuan / fuxi

Automatically exported from code.google.com/p/fuxi
0 stars 0 forks source link

FuXi can produce proofs but doesn't do so as a native capability #48

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
FuXi used to produce PML OWL/RDF documents using this function 
(FuXi.Rete.Proof.GenerateProof) module:

http://code.google.com/p/fuxi/source/browse/lib/Rete/Proof.py#151

This has not been tested since the addition of the BFP query answering method 
was added.  

Alternatively, callbacks can be registered as actions 
(http://code.google.com/p/fuxi/wiki/ReteActions) that keep track of which rule 
fired which ground fact.

Original issue reported on code.google.com by chime...@gmail.com on 27 Apr 2011 at 2:48