W3C home > Mailing lists > Public > public-cwm-talk@w3.org > July to September 2006

Re: struggling to understand the cwm/N3/reasons proof checking algorithm

From: Dan Connolly <connolly@w3.org>
Date: Thu, 7 Sep 2006 23:39:34 -0500
Message-Id: <56f1d0a7f936aec07cc340012de4a792@w3.org>
Cc: public-cwm-talk@w3.org
To: Dan Connolly <connolly@w3.org>

On Sep 7, 2006, at 5:42 AM, Dan Connolly wrote:

> On Thu, 2006-09-07 at 02:07 -0500, Dan Connolly wrote:
>> [...] I coded it up in python
>> inside check.py . It interferes with the normal way that
>> check.py works, so I checked it in a branch, for now.
>>  check.py,v 1.55.2.1 2006/09/07 06:54:54
>
> I think cwm is doing something fishy with bnodes and proofs.

After discussion with TimBL, it seems that cwm should be combining
steps 2 and 3 into one.

Yosi, you mentioned in IRC that you think you have a fix. I gather
you had to dash off to class after that. Here's hoping you find
time to check in the fix...

> ---8<---
> 1: ...
>  [by parsing <gmpbnode.n3>]
>
> 2: @forSome :_g1 . :_g1 gmp:in gmp:Texas .
>  [by CE on 1]
>
> 3: @forSome :_g1 . gmp:dan gmp:home :_g1 .
>  [by CE on 1]
>


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Friday, 8 September 2006 04:39:58 UTC

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