  

Since we aren't asking for royalties or license fees, I expect
there shouldn't be much objection to giving us the requested
citation/acknowledgement.  I'm sure you would expect the same
in the reverse situation: i.e., you've written a corpus of 30,000
axioms and some fellow scientist asks you for a copy, and you
supply it, and they then adapt and built upon it for their
work (academic or commercial); then surely in that situation
it would be wrong for them not to credit your contribution.

Regards,
Doug