[mizar] Fwd: Fwd: License for MML

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

---------- Forwarded message ----------
From: Adam Pease <adampease@earthlink.net>
Date: Sun, Feb 21, 2010 at 7:48 PM
Subject: Re: Fwd: License for MML
To: Josef Urban <josef.urban@gmail.com>


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.

Adam


On Sun, 2010-02-21 at 18:09 +0100, Josef Urban wrote:
> Dear all,
>
> here is a sort of RFC on the licensing for Mizar Mathematical Library
> sent today to the Mizar mailing list. I am also forwarding it to a
> selected list of people who are probably not on the Mizar forum (you
> would have to register to post there, but I'll be happy to forward
> your replies there).
>
> I'll be grateful for your comments.
>
> Best regards,
> Josef Urban
>