[Top] [All Lists]

Re: [ontolog-forum] Parsing KIF?

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "John A. Bateman" <bateman@xxxxxxxxxxxxx>
Date: Mon, 19 Mar 2007 16:36:18 +0100
Message-id: <45FEADF2.3010508@xxxxxxxxxxxxx>
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).    (01)

CASL is processed with Hets and through Hets with
reasoners/theorem provers such as Isabelle and
SPASS.    (02)

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>