[Top] [All Lists]

Re: [ontolog-forum] mKR programming language: was InternationalAlliance

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Randall R Schulz <rschulz@xxxxxxxxx>
Date: Mon, 16 Mar 2009 07:08:56 -0700
Message-id: <200903160708.56999.rschulz@xxxxxxxxx>
On Monday March 16 2009, Richard H. McCullough wrote:
> re: programming languages and ontology languages
> <RHM> mKR is a programming language.
> <CM> ... RDF is not a programming  language ...
> IMHO, it is quite appropriate for an ontology language to resemble
> a programming language.  The most obvious example is the need for
> an ontology language to describe actions of entities.    (01)

There's virtually nothing universal or common across the spectrum of 
programming languages. They're not even all textual, let alone sharing 
any deeper properties such as imperative vs. functional or declarative 
vs. procedural, etc.    (02)

So saying that it's "appropriate for an ontology language to resemble a 
programming language" is not saying anything at all. And a programming 
language isn't a programming language just because you can give a BNF 
for its syntax. More important is the precise specification of the 
relation between expressions in that language to some formal model of 
computation. _That_ is what makes a language a programming language.    (03)

> In the mKR language, actions and procedure calls have the same form.
> Compare
>     John do give od a book to Mary done;
>     do write od tabula rasa to TabulaRasa.ho done;    (04)

And what does it mean to execute / evaluate those expressions?    (05)

> Dick McCullough    (06)

Randall Schulz    (07)

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

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