W3C home > Mailing lists > Public > public-cwm-talk@w3.org > April to June 2008

Re: Recent changes to FuXi

From: Chimezie <chimezie@gmail.com>
Date: Sun, 29 Jun 2008 16:17:03 -0700 (PDT)
Message-ID: <26ebe35f-4c48-4ed4-b6b4-be926deb0ec6@f63g2000hsf.googlegroups.com>
To: fuxi-discussion <fuxi-discussion@googlegroups.com>
Cc: public-cwm-talk@w3.org

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
Received on Sunday, 29 June 2008 23:17:44 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:01:05 UTC