|To:||doug@xxxxxxxxxx, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>|
|From:||Ali Hashemi <ali.hashemi+ontolog@xxxxxxxxxxx>|
|Date:||Mon, 22 Feb 2010 20:23:54 -0500|
Thanks for the examples Jim.|
Yes mathematical ontologies have already been develpoed and I'm not suggesting that we reinvent them. What we've done is to simply start porting them into CLIF notation. :D There's already a lot of work done in connecting establishing connections between mathematical theories, we can reuse most of that, most of that work consists of translating the notation...
While math might arguably be viewed as "top-down," applying mathematical theories to real world problems is certainly not.
To illustrate, in this approach, one isn't saying "these are your choices for time that you pick and extend from an upper ontology"; rather one is saying, "given the language you are using to describe your intuitions, these are useful constructs with well known properties, let's see which of them your intuition of time corresponds to." Ultimately, it's complementary to the standard Upper Ontology approach, not competitive.
I'm not sure if it is what Jim meant when using semantic patterns, but in providing these "low-level patterns" one remains agnostic as to how they relate to the real world, that's up to the ontologist / domain modeler aided perhaps by some clever algorithms / tools. :P. So a catalog of these semantic patterns might be these ontologies organized into hierarchies for various conceptual domains.
And yes, it would be wonderful to be able to reuse Cyc's theories, but alas they're walled up...
On Mon, Feb 22, 2010 at 7:59 PM, doug foxvog <doug@xxxxxxxxxx> wrote:
_________________________________________________________________ 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] Semantic patterns and logic expression, doug foxvog|
|Next by Date:||Re: [ontolog-forum] Semantic patterns and logic expression, doug foxvog|
|Previous by Thread:||Re: [ontolog-forum] Semantic patterns and logic expression, doug foxvog|
|Next by Thread:||Re: [ontolog-forum] Semantic patterns and logic expression, Jim Rhyne|
|Indexes:||[Date] [Thread] [Top] [All Lists]|