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