[Top] [All Lists]

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

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Dennis L. Thomas" <DLThomas@xxxxxxxxxxxxxxxxxxxxxxxx>
Date: Sun, 16 Sep 2007 21:12:38 -0700
Message-id: <6FAFEC59-0D73-45B0-AC7D-D66DD901BB09@xxxxxxxxxxxxxxxxxxxxxxxx>

I am aware of the distinctions you defined below, but do not subscribe to either of these formal definitions of declarative.  To us, what is being declared is either theory or reality.  


On Sep 16, 2007, at 4:20 PM, Randall R Schulz wrote:

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.

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".

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.

I appreciate the feedback.


Randall Schulz


Dennis L. Thomas 
Knowledge Foundations, Inc.
Ofc (714) 890-5984 
Cell (760) 500-9167 
Managing the Complexity of Enterprise Knowledge

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

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