- From: <jos.deroo.jd@belgium.agfa.com>
- Date: Sat, 5 Jan 2002 01:56:37 +0100
- To: heflin@cse.lehigh.edu
- Cc: dlm@ksl.stanford.edu, herman.ter.horst@philips.com, phayes@ai.uwf.edu, jos.deroo.jd@belgium.agfa.com, jjc@hplb.hpl.hp.com, ned.smith@intel.com, connolly@w3.org, hendler@cs.umd.edu, www-archive@w3.org
Jeff, First of all best wishes for 2002, to all of you! We haven't really discussed a lot about WOLREQS, sorry for that. You mention a couple of times "description logic", but I'm still not enough familiar with that to comment on that. I think I agree with you w.r.t. explainabilty (and now I also think that R15. Proof Checking belongs there) So I agree with your and Deborah's descriptions. -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Friday, 4 January 2002 19:59:38 UTC