- From: <jos.deroo@agfa.com>
- Date: Thu, 14 Dec 2006 02:28:27 +0100
- To: public-cwm-talk@w3.org
I'm finding an issue with euler n3->yap interpretation
for the http://www.w3.org/2002/12/cal/calAx.n3 rule
{ ?P a :DateProperty.
?E ?P ?WHEN.
# we skip the dtlit step of splitting ?WHEN apart
(?WHEN "(\\d\\d\\d\\d)-" ) str:search (?YYYY).
(?YYYY 0) math:sum ?YEARNUM. # sum coerces strings to int
} => { [ is k:YearFn of ?YEARNUM ] }.
it actually gives a wrong intermediate N3 translation
{?P a p0:DateProperty. ?E ?P ?WHEN. (?WHEN "(\\d\\d\\d\\d)-") str:search
(?YYYY). (?YYYY 0) math:sum ?YEARNUM} =>
{?YEARNUM!k:YearFn }.
hm..
and I still have to implement str:search ..
otoh I think we achieved a stable outcome of e:findall and a correct
e:bayesian
in namspace http://eulersharp.sourceforge.net/2003/03swap/log-rules.n3
resulting in over 10 billion inferences today for tests such as
http://eulersharp.sourceforge.net/2006/02swap/etc5.ref and other
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 14 December 2006 01:28:51 UTC