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)