[Top] [All Lists]

Re: [ontolog-forum] Interoperability - its natural basis

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Mon, 16 Mar 2009 07:42:40 -0700
Message-id: <97C73567EDBF4133965A9C6E7C7D3A7C@rhmlaptop>
Thank you for this overview.
It gives me a much better understanding of many topics discussed in this forum.
It will help me to "speak the language" in my future emails.
Rich McCullough
Ali Hashemi

To extend Chris' points a bit as well, I'd like to take this opportunity to clarify a few notions.

The text below is directly related to the conversation I've been having mainly with Matthew West in the 3D-4D thread, some of the questions that Rich McCullough has recently alluded to and the email which started this thread.

I've noticed that on this forum, there might not be a clear understanding of what a logical (Tarski) model is, how exactly such models are connected to the underlying axioms and perhaps most importantly, why one should care (how the relation may be usefully exploited).

Similarly, I'm not sure the value of representation theorems and the different possible types of mappings are well appreciated. I apologize in advance if all this stuff is obvious, but it's useful to get it out and perhaps to eventually migrate this discussion to the wiki after some criticism / feedback.

*Representation Theorems*
*Logical "Structures"*

Hope the above wasn't too pedantic and communicates to readers on this list both what is meant by some of the terminology used in more formal ontologies and how they are applicable to real world problems.



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>