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 UTC

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