- From: Dan Connolly <connolly@w3.org>
- Date: 30 Oct 2002 11:06:38 -0600
- To: Richard Waldinger <waldinger@AI.SRI.COM>, Ian Horrocks <horrocks@cs.man.ac.uk>
- Cc: "www-rdf-logic@w3.org" <www-rdf-logic@w3.org>
On Wed, 2002-10-30 at 10:16, Richard Waldinger wrote: > > SNARK - SRI's New Automated Reasoning Kit > http://www.ai.sri.com/~stickel/snark.html This is excellent news! There's really a lot of excellent research and some fairly mature engineering in formal methods, and I'm really excited to see any barriers to wider deployment and understanding of it, such as licensing constraints, removed. Ian, did you tell me that while the release of all of oiled as open source isn't quite done[1], the FaCT reasoner itself is open source already? I can't confirm from what I can see at a glance. http://www.cs.man.ac.uk/~horrocks/FaCT/ [1] "OilEd will soon be made available as an open-source project" -- http://oiled.man.ac.uk/ -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Wednesday, 30 October 2002 12:06:26 UTC