[Fwd: RE: UCDs - repost]

[Marco Leoni]

-------- Original Message --------
Subject: RE: UCDs - repost
Date: Fri, 7 Mar 2003 09:25:19 -0500
From: "Wil O'Mullane" <womullan at skysrv.pha.jhu.edu>
To: registry at ivoa.net



I note in your paper you mention not being able to express functions in an Ontology.
Many years ago I worked with Ontoloigua and KIF(Knowledge Interchange Format)
this indeed allows one to express functions on numbers .
http://logic.stanford.edu/kif/kif.html

Of course KIF is lisp (Lots of Incomprehensilble Silly Brackets indeed) based and not very pretty .

Still I see KSL have now extended Ontalingua in to the web world and suggest provideing it as a Server... it may bear looking at.

Perhaps this has already been explored ..

wil
> 
>   Hello all,
> 
>   Maybe some of you have not subscribed to the 
> ucd at ivoa.net list, but might have interest in
> reading the paper I posted there:
> 
> http://www.ivoa.net/forum/ucd/0001.htm
> 
>   Sorry for those who received this info twice.
> 
> Sebastien.
> -- 
>     _______
>    /  ~   /, Sebastien Derriere   mailto:derriere at astro.u-strasbg.fr
>   / ~~~~ //  Observatoire de Strasbourg    Phone +33 (0) 390 242 444
>  /______//   11, rue de l'universite     Telefax +33 (0) 390 242 417
> (______(/    F-67000 Strasbourg  France


----- End forwarded message -----

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ivoa.net/pipermail/ucd/attachments/20030307/bd7d6269/attachment-0001.html>