|From:||"Adrian Walker" <adriandwalker@xxxxxxxxx>|
|Date:||Sun, 11 May 2008 10:42:03 -0400|
You can probably answer this off the top of your head.
Is it correct to say that the model theoretic semantics of the following are compatible?
(1) Datalog extended with NAF
(Minimal model, stratified)
(2) Classical first order logic.
I think it's often loosely stated that Datalog + NAF is a subset of FOL, but that refers to syntax, and only holds if you -- dangerously -- use the same sign for negation in both.
Cheers, -- Adrian
Internet Business Logic
A Wiki and SOA Endpoint for Executable Open Vocabulary English over SQL
Online at www.reengineeringllc.com Shared use is free
On Sun, May 11, 2008 at 9:51 AM, Pat Hayes <phayes@xxxxxxx> wrote:
At 10:26 PM -0400 5/10/08, John F. Sowa 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:||Re: [ontolog-forum] Executable English and Logic and databases, Adrian Walker|
|Next by Date:|
|Previous by Thread:|
|Next by Thread:|
|Indexes:||[Date] [Thread] [Top] [All Lists]|