[Top] [All Lists]

Re: [ontolog-forum] Parsing KIF?

To: "John A. Bateman" <bateman@xxxxxxxxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Adam Pease <adampease@xxxxxxxxxxxxx>
Date: Mon, 19 Mar 2007 08:38:37 -0700
Message-id: <45FEAE7D.6080208@xxxxxxxxxxxxx>
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
> 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)

<Prev in Thread] Current Thread [Next in Thread>