|From:||Adrian Walker <adriandwalker@xxxxxxxxx>|
|Date:||Mon, 2 Aug 2010 14:50:06 -0400|
Hi Rich and All --|
Rich, you wrote... negation as failure is more human like...
Indeed, relational databases, on which much of the world economy runs, use a form of negation-as-failure -- If Adrian is not in the table of employees of Englishlogickernel, then he is not an employee of said company.
Just commonsense, really.
Moreover, if you attach English sentences to predicates , you can help nontechnical users to know what's going on by answering the question
"Is Adrian an employee of Englishlogickernel?"
"Assuming that the table lists all the employees, he is not an employee of that company"
Cheers, -- Adrian
 Internet Business Logic
A Wiki and SOA Endpoint for Executable Open Vocabulary English Q/A over SQL and RDF
Online at www.reengineeringllc.com
Shared use is free, and there are no advertisements
On Mon, Aug 2, 2010 at 1:54 PM, Rich Cooper <rich@xxxxxxxxxxxxxxxxxxxxxx> 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] owl2 and cycL/cycML, Ian Horrocks|
|Next by Date:||[ontolog-forum] CLIF as a sorted logic?, Adam Pease|
|Previous by Thread:||Re: [ontolog-forum] [OT] point of order [was - Re: owl2 and cycL/cycML], Jim Rhyne|
|Next by Thread:||[ontolog-forum] CLIF as a sorted logic?, Adam Pease|
|Indexes:||[Date] [Thread] [Top] [All Lists]|