[mizar] Fwd: License for MML

[Josef Urban <josef.urban@gmail.com>]

---------- Forwarded message ----------
From: Dr. Stephan Schulz <schulz@informatik.tu-muenchen.de>
Date: Sun, Feb 21, 2010 at 8:01 PM
Subject: Re: License for MML
To: apease@articulatesoftware.com

Hi Josef, Adam, People!

On 21 Feb 2010, at 20:48, Adam Pease wrote:

> Hi Josef,
>  On the Global WordNet project we've listed a few license options at
> http://www.globalwordnet.org/gwa/gwa_grid.htm.  I like GNU FDL for data
> and documentation since it protects the authors from use without credit.
>  For SUMO I originally released it under a BSD-style license for the
> upper level and GNU GPL for the domain ontologies  I think that's been a
> reasonable if sub-optimal choice, but since I made the release with my
> former employer, who retains the copyright, I can't change it now.  The
> copyright, as I understand it, is distinct from the license
> restrictions.  If you have the copyright, I think you're free to control
> what license applies to the work.
>  Of course, I'm not a lawyer, so take my advice with a grain of salt.


The GFDL certainly is a reasonable choice. However, it has some warts,
and large collaborative projects (in particular Wikipedia) have been
moving (with support from the Free Software Foundation) to the
Creative Commons CC-BY-SA license.

The CC-BY-SA license allows redistribution and changes, but requires
maintaining the license and recognizing the contributors.

See http://creativecommons.org/licenses/by-sa/3.0/

I would suggest using that license, with the GFDL as second choice.

Bye,

   Stephan

--
-------------------------- It can be done! ---------------------------------
  Please email me as schulz@informatik.tu-muenchen.de (Stephan Schulz)
----------------------------------------------------------------------------