Re: [Sigmakee-develop] Sigma/Vampire licensing
Status: Beta
Brought to you by:
apease
|
From: Adam P. <ada...@ea...> - 2006-10-13 05:03:22
|
Hi Cameron, Vampire is developed by U. Manchester, so sigmakee.sourceforge.net is not the primary site, however, other versions are not compatible with Sigma and are not to my knowledge released open source. I'm eager to have people use the code, but since Sigma incorporates many different pieces, I'm not sure how easy it would be to change the licensing of the entire system. I'd also need to know what the specific issue is with GPL. Adam Cameron Ross wrote: > Hello, > > According to the project summary on SourceForge, Sigma is distributed > under the GPL. However, the some of the Vampire sources (e.g. > Inference.hpp and Clause.cpp) indicate that it is licensed under LGPL. > Is sigmakee.sourceforge.net the primary site for Vampire? Also, I would > very much like to employ Sigma within a collaborative research project > exploring the use of ontologies within the mining sector. However, I > know that the GPL will be a major barrier. Without getting into a > philosophical debate on open source licensing, is there a possibility of > changing this license to LGPL or something similar? > > Cheers, > Cameron Ross > President > Symboticware Incorporated > > ------------------------------------------------------------------------- > Using Tomcat but need to do more? Need to support web services, security? > Get stuff done quickly with pre-integrated technology to make your job easier > Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo > http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642 > _______________________________________________ > Sigmakee-develop mailing list > Sig...@li... > https://lists.sourceforge.net/lists/listinfo/sigmakee-develop > > -- ---------------------------- Adam Pease http://www.ontologyportal.org - Free ontologies and tools |