- 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
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