- From: Yarden Katz <yarden@umd.edu>
- Date: Mon, 22 Aug 2005 10:08:19 -0500
- To: Yosi Scharf <syosi@MIT.EDU>
- Cc: public-cwm-talk@w3.org
Yosi Scharf <syosi@MIT.EDU> writes:
> Yarden Katz wrote:
[snip]
>>>Hi Yosi, sorry for the late reply - still waiting for my dev laptop to
>>>return from repair (it has latest pychinko src on it) but I didn't
>>>want to keep you waiting anymore. Anyway, c.n3 doesn't fire for the
>>>simple reason that you asserted :I :Win :Today. as a fact, which is
>>>what the RHS of the rule was going to add. Firing the rule would be
>>>redundant as it would add nothing new to the KB. Am I missing
>>>something?
>>>
>>>
> It seems so. We seem to have file versions mixed up. I sure hope I never
> asserted ``:I :Win :Today.'' as a fact. If in fact I messed up and did
> assert it, I would like to see where in c.n3 I asserted this fact. To
> recap, c.n3:
I misread the first line, it was actually the output after running
-pythink -- my bad
> ----------------------------
> @prefix : <#> .
> @prefix log: <http://www.w3.org/2000/10/swap/log#> .
> @prefix rdf: <http://www.example.com/22-rdf-syntax-ns#> .
>
> @forAll :A,
> :B,
> :X,
> :Y,
> :Z .
>
> :a1 rdf:first 1; rdf:rest :a2 .
> :a2 rdf:first 2; rdf:rest rdf:nil .
> :a1 a :List;
> :help2 rdf:nil;
> :reverse_helper rdf:nil .
>
> {:A
>
> rdf:first :X;
> rdf:rest :Y;
> :reverse_helper :Z;
> .
> :B :help2 :Z; .
> }
> =>
> {:I :Win :Today } .
[snip]
What Pychinko version are you using?
--
Yarden Katz <yarden@umd.edu>
Received on Monday, 22 August 2005 15:03:00 UTC