To: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | "Adrian Walker" <adriandwalker@xxxxxxxxx> |
Date: | Sun, 11 May 2008 12:35:44 -0400 |
Message-id: | <1e89d6a40805110935r24379995i8a624ca3117199cb@xxxxxxxxxxxxxx> |
Hi John -- Thanks for your quick answer. I think that we should be careful to distinguish between two entirely different languages: (1) Datalog (it has no negation at all) (2) Datalog augmented with Negation as Failure Let's see what Pat has to say about whether the model theory semantics of (2) is compatible with the model theory semantics of FOL. I suspect that the answer is "No". If so, there are many ramifications, since (2) matches the way relational databases are used in practice. It's also the way negation is treated in the Internet Business Logic system, and in the SQL that the system generates and runs automatically. 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 11:43 AM, John F. Sowa <sowa@xxxxxxxxxxx> wrote: Adrian, _________________________________________________________________ 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] A different approach to ontology, rick@xxxxxxxxxxxxxx |
---|---|
Next by Date: | Re: [ontolog-forum] A different approach to ontology, John F. Sowa |
Previous by Thread: | Re: [ontolog-forum] Executable English and Logic (Was: accounting inteoperability workshop), John F. Sowa |
Next by Thread: | [ontolog-forum] Ontology Summit 2008 Debriefing Session - Thu 2008.05.22, etc., Peter Yim |
Indexes: | [Date] [Thread] [Top] [All Lists] |