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

[Andrew Solomon]

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

James:
>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.

Andrew


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