Salvete Ontologers, Salve David (01)
One might assert
(spurious-URI-weight#pound,
spurious-URI-properties#has-presentation-suffix, "lb") (02)
Knowledge of French or Latin doesn't really help at this point, nor is the
concept of proof. More problematic is the assertion (03)
(another-spurious-URI-weight#pound,
another-spurious-URI-properties#has-presentation-suffix, "lb") (04)
since we have now two independent uses of "lb". We would need to have some
way of identifying whether the two uses were identical. (05)
And just to make it more difficult (06)
(malicious-URI-weight#pound,
maclicious-URI-properties#has-presentation-suffix, "kg") (07)
particularly when we discover (08)
(malicious-URI2-weight#pound, maclicious-UR2I-is-the-same-as,
spurious-URI-weight#pound) (09)
Pure mathematical proof is restricted to derivations from mathematical
axioms. It has little to say directly about the actual universe. (010)
Sean Barker
Bristol, UK (011)
> -----Original Message-----
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
> [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of David Eddy
> Sent: 18 February 2010 16:08
> To: [ontolog-forum]
> Subject: Re: [ontolog-forum] Foundation ontology, CYC, and Mapping
>
>
> *** WARNING ***
>
> This message has originated outside your organisation,
> either from an external partner or the Global Internet.
> Keep this in mind if you answer this message.
>
>
> Rob -
>
> On Feb 18, 2010, at 2:55 AM, Rob Freeman wrote:
>
>> I would almost be interested to see your model of the real world
>> without mathematics.
>
>
> I would like to see the mathematical model that "proves" this:
>
> pound --> [mathematical proof] --> lb
>
> Obviously if you're literate in Latin and/or French getting livre -- >
> lb is easy... I guess. But I'm thinking that the set of people literate
> in Latin, French, English & doing interoperability projects is very
> close to zero.
>
>
> Algorithmically it is trivial to produce:
>
> pound --> [automatic vowel removal] --> pnd But that's 100%
> useless.
>
> ___________________
> David Eddy
> deddy@xxxxxxxxxxxxx
>
> 781-455-0949
>
> (012)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (013)
|