|From:||Ali Hashemi <ali.hashemi+ontolog@xxxxxxxxxxx>|
|Date:||Sun, 21 Feb 2010 23:37:06 -0500|
Would it be possible for you to share the things you refer to here:
"I have found a very few things that I had trouble expressing in FOL, and
they were not very important. "
I don't think anyone has nailed down quite what the phrase "semantic pattern" means. I've employed the term logical structure, which corresponds to recurring sets of axioms that cut across domains. This _may_ be similar to what you're looking for.
My general impression is that there is no _a priori_ method in determining what these patterns are, since the number of axioms you could generate in FOL is infinite, and only a subset fit to our uses in the world.
The approach employed in COLORE at uncovering these "semantic patterns" (correct me if i've misinterpreted your intention) is to first and foremost, and i can't stress this enough...
start writing axioms in FOL!
Once we have these intuitions formalized, we can see if there are recurring patterns. As I alluded to in a previous note, we've also developed a procedure which would seek out and determine relationships between different ontologies / modules. If many, disparate ontologies seem to be using the same sets of logical axioms (with differing labels), then perhaps they constitute a "semantic pattern."
Another element of our approach is that the field of mathematics has already formalized and characterized a lot of the useful statements we can make in a formal language such as FOL. So it suggested to us to start inputting ontologies for these well understood theories and then see how they were being reused in other fields. I'm writing another note to this forum which will expand on interoperability given the expressiveness of the language.
Lastly, from the DL perspective, there is wonderful work being done at http://ontologydesignpatterns.org/wiki/Main_Page ; perhaps that is also what you are referring to!
On Sun, Feb 21, 2010 at 7:25 PM, Jim Rhyne <jrr@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx> 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, Christopher Menzel|
|Next by Date:||Re: [ontolog-forum] Semantic patterns and logic expression, Ali Hashemi|
|Previous by Thread:||Re: [ontolog-forum] Semantic patterns and logic expression, Christopher Menzel|
|Next by Thread:||Re: [ontolog-forum] Semantic patterns and logic expression, Ali Hashemi|
|Indexes:||[Date] [Thread] [Top] [All Lists]|