[Top] [All Lists]

Re: [ontolog-forum] Data, Silos, Interoperability, and Agility

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: John F Sowa <sowa@xxxxxxxxxxx>
Date: Mon, 23 Sep 2013 15:49:05 -0400
Message-id: <52409B31.4020000@xxxxxxxxxxx>
On 9/23/2013 3:02 PM, Kingsley Idehen wrote:
>> Despite its quirks, the SQL WHERE clause supports full FOL.
> Yes, but it doesn't get you round the issue of scalable ad-hoc queries
> that exploit entity relationship semantics.    (01)

Now you are repeating the hopelessly misleading slogans by the
Decidability Thought Police (DTP).  Please read the following:    (02)

    Fads and fallacies about logic    (03)

This article was published in IEEE Intelligent Systems, of which
Jim Hendler was the editor.  Jim said that he thought he would hate
the article (given my comments about the SW), but he said that he
really liked it.    (04)

Bob MacGregor, who developed LOOM and PowerLOOM -- two of the most
widely used DL systems before OWL -- said that users *never* ask for
decidability, but they *always* ask for more expressive power.    (05)

The DTP excommunicated Bob from the DL priesthood for two reasons:
(1) he didn't kiss their sacred texts, and (2) his software was
much more widely used than anything they produced.    (06)

John    (07)

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    (08)

<Prev in Thread] Current Thread [Next in Thread>