- From: Sean Bechhofer <seanb@cs.man.ac.uk>
- Date: Fri, 8 Nov 2002 08:20:58 +0000 (GMT Standard Time)
- To: Ian Horrocks <horrocks@cs.man.ac.uk>
- Cc: Dan Connolly <connolly@w3.org>, Richard Waldinger <waldinger@AI.SRI.COM>, "www-rdf-logic@w3.org" <www-rdf-logic@w3.org>
On Thu, 7 Nov 2002, Ian Horrocks wrote: > 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. OilEd source *is* now available under GPL. Looks like the website didn't get updated -- I'll sort that. Sean -- Sean Bechhofer seanb@cs.man.ac.uk http://www.cs.man.ac.uk/~seanb
Received on Friday, 8 November 2002 03:20:16 UTC