- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Thu, 7 Nov 2002 23:13:04 +0000
- To: Dan Connolly <connolly@w3.org>
- Cc: Richard Waldinger <waldinger@AI.SRI.COM>, "www-rdf-logic@w3.org" <www-rdf-logic@w3.org>, Sean Bechhofer <seanb@cs.man.ac.uk>
On October 30, Dan Connolly writes: > 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. The source of FaCT has always been included in the distribution under GPL. I'm not sure if GPL = Open source? I need to check on the status of OilEd - it is also planned to release that under GPL. Ian > > 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 Tuesday, 19 November 2002 16:31:53 UTC