Pat, (01)
Some comments: (02)
> IKL supplies natural numbers but it doesnt have built-in reals.
> So you will need some extra machinery of some kind to be able
> to do continuous math, for example for talking about distribution
> curves or integrals. (03)
Of course. But the reason why we did not include real numbers in
CL is that it is rather easy to pick up any standard definitions
and add them to the ontology. (04)
One example is the Mathematical Workbench of Z, which is already
an ISO standard. (They separated their base logic from the
ontology for their math workbench. It could be included just
by reference -- a URI). (05)
Another would be to adopt the basic functions of Mathematica,
which has a much richer collection that is widely used in industry
and academia. (06)
JFS>> ... Numerical functions of any kind. (07)
PH> Any kind?? (08)
Any Turing-definable kind. (09)
John (010)
_________________________________________________________________
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 (011)
|