|From:||Ali Hashemi <ali.hashemi+ontolog@xxxxxxxxxxx>|
|Date:||Mon, 16 Feb 2009 03:08:37 -0500|
I appreciate Waismann's point. I don't think what I said is in opposition to it, as far as i can tell, it embraces it. Though I like to get at his insight by thinking that once specified, any system begins to decay. Suggesting then simply that maintenance / upkeep / revision is a necessary part of any specification framework.
Oops. Thanks for clarifying, I was confusing senses of extension :P.
I think those questions (reuse) are part of the process of understanding and developing such mappings.
So each ontology interprets the notion of set differently, which affects the notion of a definition.
Forgive me if what I say is obvious, but for posterity, in the above we have a statement, "set of all cars" which corresponds to three distinct sets, depending on what framework one employs.
Let's call them:
Sint - intensional
Sext - extensional
S4Dex - 4D extensional
which are unique.
So in an intensional framework, depending on when a query is executed (a question is asked), Sint= Sext@Tquery.
In a 4D extensional framework, set S4Dex = U (forall i) Sext@Ti
where @Tx is the unique name of each set in the extensional perspective at time x.
Seemingly, the above suggests that if we want mappings to work, while each group may choose their own framework, if they intend to interoperate, we need to know what pieces of information we need to track (though perhaps not ontologically commit to), to enable such mappings. Thus if using an intensional framework, with an eye on translating to an extensional one, we'd need to track when extensions are generated, etc.
Is this a semi-accurate catch-up to where people thinking about this issue are?
On Mon, Feb 16, 2009 at 2:19 AM, John F. Sowa <sowa@xxxxxxxxxxx> wrote:
Ali, Mitch, and Frank,
_________________________________________________________________ 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 (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] a skill of definition - "river", Matthew West|
|Next by Date:||Re: [ontolog-forum] a skill of definition - "river", Matthew West|
|Previous by Thread:||Re: [ontolog-forum] a skill of definition - "river", John F. Sowa|
|Next by Thread:||Re: [ontolog-forum] a skill of definition - "river", Matthew West|
|Indexes:||[Date] [Thread] [Top] [All Lists]|