[Termtools] [EXTERNAL] Re: Termination Problem Database Licence

[Aubert, Clement]

Hi,

Thanks Johannes for your investigations and kind answer.
I'm currently writing a grant proposal for the NSF, and their regulation
requires to have a "Data management plan" that documents and justifies
the data you will use and produce. Since I was considering using and
contributing to the TPDB, I wanted to formally state the license and way
this data is managed.

I think I can circumvent this absence in my plan, by simply putting that
the DB is freely accessible and usable by anyone, but you may want to
sort this out to avoid future conflicts.

Thanks again,
And best,
Clément.


On 08/06/2018 04:59 AM, Johannes Waldmann wrote:
> This is an external email. Use caution responding, opening attachments and following links.
>
> Hi.
>
>> Under what license is provided the TPDB
>> (https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Ftermination-portal.org%2Fwiki%2FTPDB&data=02%7C01%7Ccaubert%40augusta.edu%7C0e6adcd9eeb547afff8908d5fb7af18e%7C8783ac6bd05b4292b483e65f1fdfee91%7C0%7C1%7C636691427862062432&sdata=vnBkxkAn%2Bd54P%2BhGpMy5u2GALekGAZ4X4AOpdzpJ3s8%3D&reserved=0)?
> I am not aware that this question has ever been discussed.
> Probably no-one cares because there's no way to monetize TPDB.
>
> I was checking SMTLIB https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fsmtlib.cs.uiowa.edu%2Fcredits.shtml&data=02%7C01%7Ccaubert%40augusta.edu%7C0e6adcd9eeb547afff8908d5fb7af18e%7C8783ac6bd05b4292b483e65f1fdfee91%7C0%7C1%7C636691427862062432&sdata=Rld86nzb2ePatqaapWcZTqPiqqGX%2BgTJhb6cu%2FfdWF0%3D&reserved=0
> and TPTP https://na01.safelinks.protection.outlook.com/?url=http:%2F%2Ftptp.cs.miami.edu%2F~tptp%2F&data=02%7C01%7Ccaubert%40augusta.edu%7C0e6adcd9eeb547afff8908d5fb7af18e%7C8783ac6bd05b4292b483e65f1fdfee91%7C0%7C1%7C636691427862062432&sdata=MiIndpQunUOCZavpeHa7JGthiDxkpfaGJ3Y6PkwaaA4%3D&reserved=0
> (the TPTP page has references to more benchmark libraries)
> and it seems they don't have formal licenses either.
>
> So, I think all of these can be used and cited
> like you would any other scientific publication.
>
> Do you have an application in mind that would not be covered by this?
>
> - Johannes.
> _______________________________________________
> Termtools mailing list
> Termtools at lri.fr
> https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Flists.lri.fr%2Fcgi-bin%2Fmailman%2Flistinfo%2Ftermtools&data=02%7C01%7Ccaubert%40augusta.edu%7C0e6adcd9eeb547afff8908d5fb7af18e%7C8783ac6bd05b4292b483e65f1fdfee91%7C0%7C1%7C636691427862062432&sdata=by4mE6txh9%2F27igVUBX2ey27bKnXDBgFWrw%2FUKTdysU%3D&reserved=0

-- 
Clément Aubert, Assistant Professor of Computer Science,
School of Computer and Cyber Sciences, Augusta University,
spots.augusta.edu/caubert/