On Mar 13, 2009, at 10:26 PM, Richard H. McCullough wrote: (01)
> Chris
>
> mKR is a programming language.
>
> But I don't know why you seem to think it's important
> whether some language is, or is not, a programming language. (02)
Its important because of the kind of semantics different languages
have. A programming language describes algorithms, processes, things
that happen when the program is run. Programming language semantics
reflect this, typically treating a program text as describing a
function (often, though by no means always, from 'states' to other
'states' of an idealized 'machine'.) Descriptive languages, such as
RDF and OWL and CL and FOL, by contrast, have a semantics which
defines truth-conditions for sentences, ie which describes what a
'world' has to be like so that when 'interpreted' in it, the sentence
will be true. These two ideas have very little in common apart from
both being called "languages". (03)
Pat Hayes (04)
>
> mKR is also "English-like", to the extent that you might call it
> a "Controlled English" language. I use the term "Simple English"
> to describe mKR.
>
> mKR is also "UNIX-shell-like", having variables and control
> structures (which now include pipes).
>
> You might want to look at
> http://mkrmke.org/doc/MKR_(programming_language).htm
>
> Dick
>
> ----- Original Message -----
> From: "Christopher Menzel" <cmenzel@xxxxxxxx>
> To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
> Sent: Friday, March 13, 2009 10:32 AM
> Subject: Re: [ontolog-forum] International Alliance for
> Interoperability
>
>
>> On Mar 12, 2009, at 7:43 PM, Richard H. McCullough wrote:
>>> Chris
>>>
>>> I find it very interesting that you use the term "high-level".
>>> Speaking from the usual context of computer programming languages,
>>> mKR is a very high-level language, and RDF is a low-level assembly
>>> language.
>>
>> Neither OWL nor RDF is a programming language, so saying either one
>> is
>> "high-level" in the programming language sense is a category mistake;
>> it makes no more sense than saying they are green or emotionally
>> unstable. "High-level" in the context of ontology languages refers
>> to
>> the level of abstraction of a language's primitive constructs -- the
>> higher the level, the more general the language and hence (typically)
>> the fewer its primitives.
>>
>> Chris Menzel
>>
>>
>> _________________________________________________________________
>> 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
>>
>>
>>
> Dick McCullough
> Ayn Rand do speak od mKR done;
> mKE do enhance od Real Intelligence done;
> knowledge := man do identify od existent done;
> knowledge haspart proposition list;
> http://mKRmKE.org/
>
>
> _________________________________________________________________
> 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
>
>
>
>
> (05)
------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 mobile
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (06)
_________________________________________________________________
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 (07)
|