[Top] [All Lists]

Re: [ontolog-forum] Current Semantic Web Layer pizza (was ckae)

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Randall R Schulz <rschulz@xxxxxxxxx>
Date: Sun, 16 Sep 2007 16:20:51 -0700
Message-id: <200709161620.51390.rschulz@xxxxxxxxx>
On Sunday 16 September 2007 16:00, Dennis Thomas wrote:
> Hello Bill,
> ...
> I brought the concepts of declarative and pre-computation up to help
> distinguish our approach to others, but by no means believe that
> those two attributes make our product unique by themselves.    (01)

Nonetheless, I don't think you're characterizing "declarative" properly. 
Declarative means to state what to compute without regard to how that 
computation gets carried out (think of SQL or Prolog). The usual 
contrast is with imperative, where the how of the computation is what 
is explicitly stated and what is computed is implicit (examples are 
vastly more multitudinous and include C / C++, Java, Smalltalk, 
FORTRAN, LISP, etc.). Any explicit but informal statement of what is 
imperatively computed is traditionally included in an informal adjunct 
text referred to as a "comment" or "documentation".    (02)

As an aside, there is the notion of Literate Programming which aims to 
raise the documentation aspect of an imperative program to the same 
status as the code itself as well as to integrate the two together in a 
single program text that is separated by a tool into the documentation 
and executable portions and to subsequently compile the code and render 
the documentation using, say, TeX.    (03)

> I appreciate the feedback.
> Dennis    (04)

Randall Schulz    (05)

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

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