|To:||"[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>, "John F. Sowa" <sowa@xxxxxxxxxxx>, welty@xxxxxxxxxxxxxx, semantic_web@xxxxxxxxxxxxxxxx, "public-semweb-lifesci hcls" <public-semweb-lifesci@xxxxxx>, semanticweb@xxxxxxxxxxxxxxx, "Obrst, Leo J." <lobrst@xxxxxxxxx>|
|From:||"Adrian Walker" <adriandwalker@xxxxxxxxx>|
|Date:||Fri, 27 Jun 2008 09:37:41 -0400|
Pat, John, Chimeze and all --|
1. If you move to from SQL-like NAF reasoning, to full FOL with closure statements at the meta level, you may also be moving from low order polynomial computational complexity to exponential, or even into the undecidable region. A succinct paper on this issue would be good to have.
2. Some of the worry about SQL-NAF possibly leading to wrong conclusions appears to come from the assumption that the intended real world meaning of things like p133(?X,?Y) is nowhere documented. However, if you attach English sentences to predicates , and hide the predicates themselves, then answers from your deductions can be sentences like
"Assuming that we have all the relevant data, as of 20080627, Pat does not work for IBM".
Then, there's no way for the English documentation to get separated from the logic, because authors and users deal only with the executable English. English explanations can also help to document how the answers are arrived at.
These two points may also be relevant for RDF .
Thanks for your further thoughts.
 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
On Fri, Jun 27, 2008 at 1:34 AM, John F. Sowa <sowa@xxxxxxxxxxx> wrote:
_________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||[ontolog-forum] 2nd Call: Enterprises *as* Systems Conference, mkhettinger|
|Next by Date:|
|Previous by Thread:|
|Next by Thread:|
|Indexes:||[Date] [Thread] [Top] [All Lists]|