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

Re: SNARK is now open source.

From: Randall R Schulz <rrschulz@cris.com>
Date: Tue, 19 Nov 2002 13:55:30 -0800
Message-Id: <5.1.0.14.2.20021119134236.02aebe30@pop3.cris.com>
To: www-rdf-logic@w3.org

Ian,

At 15:13 2002-11-07, 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!
> >
> > ...
> >
> > 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?

GPL is generally considered to be the strongest of the licenses that fall 
under the umbrella of "Open Source."


>I need to check on the status of OilEd - it is also planned to release 
>that under GPL.

Commendable, but you should read and understand that license before doing 
so. (As with anything with the characteristics of a contract.)

Randall Schulz
Mountain View, CA UA


>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:54:50 GMT

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