To: | ontolog-forum@xxxxxxxxxxxxxxxx |
---|---|
From: | FERENC KOVACS <f.kovacs@xxxxxxxxxxxxxx> |
Date: | Sat, 18 Sep 2010 19:30:28 +0000 (GMT) |
Message-id: | <274992.91354.qm@xxxxxxxxxxxxxxxxxxxxxxxxxxx> |
Rich Re: How about If _x is an ancestor of _z And _z is the father of _y Or _z is the mother of _y Then _x is an ancestor of _y. The basis relations include: _ is the father of _ _ is the mother of _ And the term defined with recursion, is _ is an ancestor of _ Each expansion of the Horne clause during the query must be instantiated with some variable or constant in order to continue expanding the search backward. If at any point, the database runs out of father and mother facts, then recursion stops. But that fact doesn’t show up in FOL as clearly as in the software function that interprets it, and which must specifically figure out how to stop the recursion when there is no more fodder for the query. _________________________________________________________________ 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: | [ontolog-forum] Prof Swarz, but more importantly definitions, FERENC KOVACS |
---|---|
Next by Date: | Re: [ontolog-forum] Sustainability, David Eddy |
Previous by Thread: | Re: [ontolog-forum] PROF Swartz ON DEFINITIONS, Alex Shkotin |
Next by Thread: | [ontolog-forum] Prof Swarz, but more importantly definitions, FERENC KOVACS |
Indexes: | [Date] [Thread] [Top] [All Lists] |