[Top] [All Lists]

Re: [ontolog-forum] Probabilistic Ontologies

To: Pat Hayes <phayes@xxxxxxx>
Cc: ontolog-forum@xxxxxxxxxxxxxxxx
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Tue, 19 Jun 2007 18:34:24 -0400
Message-id: <467859F0.9030309@xxxxxxxxxxx>
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)

<Prev in Thread] Current Thread [Next in Thread>