EC logic--correction

Frank Manola wrote:
> 
> I took the specific term from John Sowa's book "Knowledge
> Representation".  His web page is
> http://www.bestweb.net/~sowa/direct/index.htm, where there is a lot of
> material on various logic-related subjects (whether he discusses EC
> logic there explicitly I don't know, but he does describe the book, and
> he talks a lot about EC logic in the book).  EC logic is just logic with
> only the existential quantifier and the "and" Boolean connector.  It's
> the subset that relational database systems support (ignoring the closed
> world assumption).  It's also the subset you're using when you make a
> bunch of Dublin Core statements about a publication.
> 

This is what comes of working late at night after a blood donation.  I
said EC logic is "the subset that relational database systems support". 
More precisely, it's the subset used to *represent* the information in
database systems, i.e., the data itself (tables, ground assertions). 
Languages like SQL add additional power on top of that foundation.

--Frank

-- 
Frank Manola                   The MITRE Corporation
202 Burlington Road, MS A345   Bedford, MA 01730-1420
mailto:fmanola@mitre.org       voice: 781-271-8147   FAX: 781-271-8752

Received on Thursday, 24 May 2001 08:29:13 UTC