search

konclude / Konclude

Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
http://konclude.com
35 stars 4 forks source link

License wrongly abbreviated as LGPL (should be GPL) #1

Closed jonassmedegaard closed 4 years ago

jonassmedegaard commented 4 years ago

License is declared in many places to be under the terms of version 3 of the GNU General Public License (LGPLv3) - i.e. GPL but with LGPL in parenthesis.

andreas-steigmiller commented 4 years ago

Many thanks for pointing out the license issues. Now all file heades should correctly refer to version 3 of the GNU Lesser General Public License (LGPLv3).

jonassmedegaard commented 4 years ago

When all is licensed LGPL-3, you might wanna drop needless file GPL.txt.

andreas-steigmiller commented 4 years ago

As far as I know, both files are required (i.e., LGPL-3.0.txt and GPL.txt) since the LGPL-3.0.txt file refers to the terms and conditions of the GPLv3 (in contrast to the LGPL2 license file):

This version of the GNU Lesser General Public License incorporates the terms and conditions of version 3 of the GNU General Public License, supplemented by the additional permissions listed below.

jonassmedegaard commented 4 years ago

Quoting andreas-steigmiller (2019-10-08 20:29:18)

As far as I know, both files are required (i.e., LGPL-3.0.txt and GPL.txt) since the LGPL-3.0.txt file refers to the terms and conditions of the GPLv3 (in contrast to the LGPL2 license file):

This version of the GNU Lesser General Public License incorporates the terms and conditions of version 3 of the GNU General Public License, supplemented by the additional permissions listed below.

Ah. I learned something new today :-)

--