|From:||Adrian Walker <adriandwalker@xxxxxxxxx>|
|Date:||Sun, 21 Feb 2010 15:19:28 -0500|
I frequently have to define a semantic pattern, but find that it cannot be expressed in the current versions of DL, or OWL Full, or in FOL. An example is what linguists call "co-occurrence restrictions". For instance, one cannot be one's own uncle.
How about the following executable English [1,2]?
some-person1 is a son of some-person2 www.reengineeringllc.com/demo_agents/NotOwnUncle.agent
 Internet Business Logic
A Wiki and SOA Endpoint for Executable Open Vocabulary English over SQL and RDF
Online at www.reengineeringllc.com Shared use is free, and there are no advertisements
On Sun, Feb 21, 2010 at 1:57 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] Defining UML in Common Logic, Duane Nickull|
|Previous by Thread:||Re: [ontolog-forum] Semantic patterns and logic expression, doug foxvog|
|Next by Thread:||Re: [ontolog-forum] Semantic patterns and logic expression, Patrick Cassidy|
|Indexes:||[Date] [Thread] [Top] [All Lists]|