- From: Chimezie <chimezie@gmail.com>
- Date: Sun, 29 Jun 2008 16:17:03 -0700 (PDT)
- 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