[Top] [All Lists]

Re: [ontolog-forum] Requirements of computer language semantics

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Duane Nickull <dnickull@xxxxxxxxx>
Date: Wed, 18 Mar 2009 22:54:42 -0700
Message-id: <C5E72C32.381E%dnickull@xxxxxxxxx>
I will echo these two paragraphs with a strong emphasis on “highly desirable” as someone who still has to write code now and then.  I am sure if you ever interviewed the creators of Babelfish they would also concur.  I also like Adam Pease’s referent triangle graphic to put this in context.


On 3/18/09 10:42 PM, "John F. Sowa" <sowa@xxxxxxxxxxx> wrote:

However, all practical languages for DBs and KBs get data from and
send data to systems that use other languages.  Therefore, it is
highly desirable to define mappings to and from various languages.
In particular, if a language is a subset of FOL (as many are), it
is extremely valuable to specify that mapping as a basis for
implementing translators.

In short, I would say that for any logic-based language L1, it
is desirable to have both a mapping from L1 to other versions
of logic and a model theory explicitly designed for L1.  Which
one is more important depends on the way L1 will be used.

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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

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