W3C home > Mailing lists > Public > www-rdf-logic@w3.org > November 2002

Re: SNARK is now open source.

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>
Message-ID: <Pine.WNT.4.44.0211080816230.856-100000@egg>

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:43 GMT