[om] yet again - Standard .. Ontologies for Math

Andrew Solomon andrew at illywhacker.net
Sat Jun 9 21:42:58 CEST 2001

>> I'm not sure what to do if they are handed some other
>> things that might be floating around, like "the color purple".

>Right. The point about NumericalValue is that it is meant to exclude "the
>color purple" etc. Quite how one says that formally I don't know.

Correct me if I'm wrong here, but it isn't a requirement
of OpenMath to say it formally. Naturally, it would be nice, but it
is an optional extra. The idea of a CD definition is to inform
human phrasebook writers.


om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems

More information about the Om mailing list