W3C home > Mailing lists > Public > www-archive@w3.org > December 2007

some slides and proofs

From: <jos.deroo@agfa.com>
Date: Fri, 7 Dec 2007 21:40:02 +0100
To: timbl@w3.org
Cc: helen.chen@agfa.com, www-archive@w3.org
Message-ID: <OF620220A8.3DC8E92E-ONC12573AA.0071875C-C12573AA.00718791@agfa.com>
Tim, at http://chatlogs.planetrdf.com/swig/2007-12-06.html#T20-11-47 I saw

20:11:47 <timbl> Anyone from HCLS or SWEO got any good slides of examples
                 of use cases for a talk I wil give at the world health IT
                 on Tuesday to lots of CIO from Healthcare (and insurance)
20:12:51 <timbl>http://www.w3.org/2001/sw/sweo/public/UseCases/

and Helen gave an excellent presentation some weeks ago at RSNA
Another picture by Helen that reminds about your SemWave is

While at, we nowadays use a lot of N3 based baysesian reasoning a la
http://eulersharp.sourceforge.net/GUIDE and it is amazing to see that
the number 0.0972762645914397 in
cuncurs with the 0.097 in Yoshio's

As the result of the calculation, we get
P(MetastaticCancer | HeadAche & !Coma) = 0.097

The proof format is very experimental and I am looking forward
to the day that independent proof checkers can test and validate
things like http://eulersharp.sourceforge.net/2006/02swap/etc5a.ref

Thanks again and kind regards,
Received on Friday, 7 December 2007 20:40:20 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:43:17 UTC