There's no restriction on SUMO other than repeating the IEEE license
on any new version. MILO is GNU GPL. (01)
John A. Bateman wrote:
> We also have a full translation of SUMO (+MILO I think)
> in the first order algebraic specification language
> CASL if anyone wants it (and if Adam allows it: I
> guess this would be subject to some kind of
> copyright restriction as a direct translation).
> CASL is processed with Hets and through Hets with
> reasoners/theorem provers such as Isabelle and
> John B.
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (04)