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

Re: log:conjunction and named graphs

From: Dan Connolly <connolly@w3.org>
Date: Mon, 20 Apr 2009 15:14:36 -0500
To: Tim Berners-Lee <timbl@w3.org>
Cc: Henry Story <Henry.Story@Sun.COM>, public-cwm-talk@w3.org
Message-Id: <1240258476.17682.14776.camel@pav.lan>
On Sun, 2009-04-19 at 17:51 -0500, Dan Connolly wrote:
> On Fri, 2009-04-17 at 13:39 -0400, Tim Berners-Lee wrote:

Never mind what I said:

> you might also try mixing in some rules about owl:sameAs:

I tested it and it doesn't help.

What Tim said is more relevant:

> > There is some optional owl:sameAs processing with --closure=e  which
> > does some smushing -- not much.

You might try one of the backward chainers, i.e. Euler...
maybe fuxi would help. But as you're quantifying over
formulas, those engines might not help either.

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
gpg D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
Received on Monday, 20 April 2009 20:14:51 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 20 April 2009 20:14:52 GMT