Hi John,
There's no restriction on SUMO other than repeating the IEEE license
on any new version. MILO is GNU GPL. (01)
Adam (02)
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
> SPASS.
>
> John B.
>
>
> (03)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (04)
|