[Top] [All Lists]

Re: [ontolog-forum] Logic, Datalog and SQL

To: Charles D Turnitsa <CTurnits@xxxxxxx>
Cc: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Fri, 9 Feb 2007 13:43:46 -0600
Message-id: <p06230906c1f27ee1be5e@[]>
>   The best we can do, in my opinion, is to attempt to
>be clear in the future as to what sense we are using words such as "model"
>which have very well defined, but distinct, meanings from different
perspectives.    (01)

Yes, I entirely agree. For the record, I try to avoid the "model 
theory" sense of "model" altogether, and speak of "satisfying 
interpretations" rather than "models" (synonyms in model theory) to 
avoid just this confusion, since your usage is vastly more common and 
has wider applicability.    (02)

IHMC            (850)434 8903 or (650)494 3973   home
40 South Alcaniz St.    (850)202 4416   office
Pensacola                       (850)202 4440   fax
FL 32502                        (850)291 0667    cell
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes    (03)

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

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