[Top] [All Lists]

Re: [ontolog-forum] 3D+1 (was presentism...was blah blah blah)

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: Wacek Kusnierczyk <waku@xxxxxxxxxxx>
Date: Fri, 04 Feb 2011 11:25:25 -0600
Message-id: <4D4C3685.4060401@xxxxxxxxxxx>
On 2/4/11 11:10 AM, Yu Lin wrote:
>> What I said was that I don't know what the timestamp you mention would be:
> Sorry,
> An instance in BFO has a timestamp.
> For example:
> In BFO, a Patient has a Quality of Elevated Temperature. (Capital
> letter in the first letter means the Class) [in this statement, all in
> class level, so there is no timestamp]
> for instantiate :
>   1. Mary (instance of Patient) had a temperature measured as 100F at
> 16:43:00 2001/01/11
>   2. Mary (same instance in 1) had a temperature measured as 90F at
> 12:00:00 2001/01/12
> I hope I make it clear for you.    (01)

Not really.  If *every* instance has a timestamp, I'd expect something like    (02)

(Mary at t) has (a temperature 100f at t)    (03)

because that temperature seems to be, in this framework, an *iinstance* 
of the class Quality of Elevated Temperature.    (04)

> PS: I just know a little bit about logic. I have searched "IKL logic".
> There is a slide of Pat on internet.
> http://www.slideshare.net/PatHayes/ikl-presentation-for-ontolog (3
> years ago)
> I hope our communication can talk more on ontology as someone
> mentioned in another mail.    (05)

We can probably quite successfully *talk* about ontology without any 
knowledge of logic, but as you set off to *formalize* your ontology -- 
and this seems to be your goal -- not knowing logic is rather an 
obstacle.  (That's why I'm not doing ontology, for that matter.)    (06)

vQ    (07)

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    (08)

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