Re: [Sigmakee-develop] Sigma/Vampire licensing

[Adam P. <ada...@ea...>]

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