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

[John F Sowa <sowa@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)

    http://www.jfsowa.com/pubs/fflogic.htm
    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)