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

Re: SNARK is now open source.

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Thu, 7 Nov 2002 23:13:04 +0000
Message-ID: <15818.62336.285117.452603@merlin.horrocks.net>
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 GMT

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