To: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | "Adrian Walker" <adriandwalker@xxxxxxxxx> |
Date: | Sun, 11 May 2008 10:42:03 -0400 |
Message-id: | <1e89d6a40805110742v6190c9e2t2f264c6f4e57987a@xxxxxxxxxxxxxx> |
Pat -- 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 Adrian Walker Reengineering 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: | Re: [ontolog-forum] Executable English and Logic (Was: accounting inteoperability workshop), John F. Sowa |
Previous by Thread: | Re: [ontolog-forum] Executable English and Logic (Was: accounting inteoperability workshop), Pat Hayes |
Next by Thread: | Re: [ontolog-forum] Executable English and Logic (Was: accounting inteoperability workshop), John F. Sowa |
Indexes: | [Date] [Thread] [Top] [All Lists] |