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