To: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | Adrian Walker <adriandwalker@xxxxxxxxx> |
Date: | Sun, 21 Feb 2010 15:19:28 -0500 |
Message-id: | <1e89d6a41002211219p345d858ar163029e4b8302ca@xxxxxxxxxxxxxx> |
Hi Jim, You wrote 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[1] www.reengineeringllc.com/demo_agents/NotOwnUncle.agent [2] 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 Adrian Walker Reengineering 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) |
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] |