Re: Recent changes to FuXi

Hey Jos.  thanks for the test run.  I forgot to update testOWL.py.
I've done so now.  Let me know if the update doesn't allow that
particular test to pass

On Jun 29, 7:24 am, jos.de...@agfa.com wrote:
> Hi Chime,
> The testrun is fine when skipping
>     'OWL/intersectionOf/Manifest001.rdf' ,#can't calculate identical class extensions

See: http://code.google.com/p/python-dlp/source/detail?r=203

> As an aside, I also started rewriting our OWL rules as
> Coherent Logic rules to be used in our Skolem Euler Machine
> http://eulersharp.sourceforge.net/GUIDE
> and it makes things much more straightforward to have
> existentials in the conclusion of rules which is a form of the
> more general case of disjunction in the conclusion of rules.
> That works pretty well and is performant as well :)

Do you skolemize each fired existential in a consequent?

-- Chimezie