- From: Randall R Schulz <rrschulz@cris.com>
- Date: Tue, 19 Nov 2002 13:55:30 -0800
- 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 UTC