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

Re: SNARK is now open source.

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>
Message-Id: <1035997599.2319.9589.camel@dirk>

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

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:39 UTC