some slides and proofs

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
2007/Chicago
http://www.agfa.com/w3c/2007/RPG_RSNA_Presentation.ppt
Another picture by Helen that reminds about your SemWave is
http://www.agfa.com/w3c/2007/ClinicalKnowledgeContinuum.jpg

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
http://eulersharp.sourceforge.net/2004/04test/metastaticR.n3
cuncurs with the 0.097 in Yoshio's
http://www.w3.org/2004/09/13-Yoshio/PositionPaper.html

[[
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,
Jos