- From: Yarden Katz <yarden@umd.edu>
- Date: Mon, 22 Aug 2005 08:03:24 -0500
- To: Yosi Scharf <syosi@MIT.EDU>
- Cc: public-cwm-talk@w3.org
Yarden Katz <yarden@umd.edu> writes: > Yosi Scharf <syosi@MIT.EDU> writes: > >> Here is a version of these two files, one of which has the rule fire, >> one of which does not, when run in Pychinko. >> >> a.n3 has the rule fire, c.n3 does not. The two are almost identical, >> excecpt for order of triples in the rule. There are no anonymous nodes >> anywhere in the file. > > 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? Typo: it's the other way around. The rule in a.n3 *does not* fire since :I :Win :Today is asserted, while the rule in c.n3 does. -- Yarden Katz <yarden@umd.edu> | Mind the gap
Received on Monday, 22 August 2005 12:58:54 UTC