UCDs - repost

[Wil O'Mullane]

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 -----