|To:||"[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>|
|From:||Pat Hayes <phayes@xxxxxxx>|
|Date:||Tue, 22 Jan 2008 14:59:09 -0600|
At 11:38 AM -0800 1/22/08, Duane Nickull wrote:
On 1/22/08 11:29 AM, "John F. Sowa" <sowa@xxxxxxxxxxx> wrote:
> domain-independent axiomatization that could answer such questions.
Of course the ontology's 'points' may not be really point-like in the real world. Nevertheless, they are conceptually points within the ontology's world-view. Noon is a point. The fact that we often use the term sloppily does not make it any less pointlike for reasoning purposes. If something is true until noon and also from noon onwards, we don't expect it to be false for a few minutes in the middle.
Contrast the train service in Switzerland vs. the bus schedule in Vancouver.
Many years ago my family took up temporary residence in Geneva. We were invited to an informal dinner party, and arrived (fortunately) a few minutes early. In the hallway outside the apartment a small group of people were waiting, chatting amiably. As the invitation time approached, one of the group looked carefully at his watch and, with his finger poised over the bell button, waited until the second hand came up to the hour, then pressed the button on the very second. It was opened immediately by the hostess, who clearly had been waiting just inside for the same moment to arrive. I understood then why Swiss watchmaking was so universally admired.
40 South Alcaniz St.
_________________________________________________________________ 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 (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] Time representation, Sharma, Ravi|
|Next by Date:||Re: [ontolog-forum] Time representation, Pat Hayes|
|Previous by Thread:||Re: [ontolog-forum] Time representation, John F. Sowa|
|Next by Thread:||Re: [ontolog-forum] Time representation, Ed Barkmeyer|
|Indexes:||[Date] [Thread] [Top] [All Lists]|