You guessed it -- yet another rewrite. But each time, it gets shorter and better. This time, instead of laboring to make sure I covered all the syntax...
I have been concerned about generator "special cases" which I recently introduced: every i from initial to final { ... }; every char of GDBMtable { ... }; To...
My MKR interface to the OpenCyc KB is up & running with the newest OpenCyc 0.9.5. With this release OpenCyc added a lot of concrete facts. For example, the KB...
I never allowed myself to use consciousness as an attribute (i.e., adjective) before because I thought it contradicted Rand's use of the word. But now I'm not...
I have been doing some work on Ayn Rand's axiomatic concepts, using the ECP hierarchy existent / entity / characteristic / proposition and the axiomatic...
Putting it all together, we get this ECP hierarchy http://rhm.cdepot.net/kb/axiom.ho Dick McCullough knowledge := man do identify od existent done; knowledge...
Food for thought It seems reasonable to think of existents entity iss existent; as having both a static nature entity has attribute; and a dynamic nature...
The previous form of declaration myverb isu verb with ctype=relation; is replaced by myverb isu relation verb with arity=2; You may specify any of the standard...
Reminder: the basic format of MKR statements is proposition name :: subject verb object pplist; From several variants in the description of axiomatic concepts,...
I'm making it official. "do*" is no longer part of the MKR language. Dick McCullough knowledge := man do identify od existent done; knowledge haspart...
To see whether my identification, an axiomatic concept is a proposition name makes sense, one has only to ask "what are the referents of a proposition name"? ...
If I had connected axiomatic concepts and contexts a few minutes earlier, I would have included this in my previous email, "referents of a proposition name" ...
New links on the MKE home page The MKR Language -- paper submitted to FLAIRS 2006 NL/KR Implementation of MKE -- paper submitted to The Generator Dick...
I did my homework -- read up on OWL Restrictions. and figured out how to do OWL genus-differentia definitions. Here are the genus-differentia definitions of...
Complete mapping is given in http://rhm.cdepot.net/knowledge/theory/OWL/Restriction.html Note that OWL definition could be significantly shortened. Dick...
I'm going to make these even more abbreviated because I'm getting tired of writing OWL. Note: line boundaries are invisible in MKR. Each definition could have...
No. OWL has no context (but they're close) questions (they have separate languages) commands/methods n-ary relations iterations conditionals (they have...
Question: What do you think of the capabilities, and the future, of the MKR language? Dick McCullough knowledge := man do identify od existent done; knowledge...
Windows download (kewin.exe) now uses a "wizard" interface. (It's a self-extracting WinZip file) Dick McCullough knowledge := man do identify od existent done;...
You'll find it a lot easier to extract that info. using MKE. Click on link below my name. Here's a sample MKR script to get you started. do read rdf from ...
A minor correction (I keep forgetting the last syntax change I made in MKR): put a semicolon in front of each left curly brace. Dick McCullough knowledge :=...
I noticed when I was doing queries in the OpenCyc browser window that the context for the query is space, time, view (mt) just like MKR! Dick McCullough ...
The new MKR command do create context od view with top done; creates a new context hierarchy named "view" with nothing in it but the "top" node. For example ...
Sorry about that silly mistake. It's a sure sign that it's time for me to quit working and go to bed. Dick McCullough knowledge := man do identify od existent...
Dick McCullough knowledge := man do identify od existent done; knowledge haspart proposition list; http://rhm.cdepot.net/ ... From: "Jana Sukkarieh"...
You all know what "AI" stands for. What do you think "RI" means? Dick McCullough knowledge := man do identify od existent done; knowledge haspart proposition...
The MKR verb "causes" refers to the ordinary "physical" meaning of causality, as in causality example :: smoking causes cancer; In contrast, the "Objectivist"...
MKE for windows, kewin.exe, is a WinZip self-extracting file. After all the files are unzipped, it executes setup.exe to install shortcuts on the Desktop, and...
MKE uses the "systype" variable to select the appropriate options for different operating system environments. I have just finished editing the source code to...
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
