hdo and vdo are now fully functional, using exactly the same syntax as do. The meaning of "vdo ... done;" is simple. Remove the "v", and execute the resulting ...
First a couple of quick notes, then a final example. 1. I changed the MKR concept "VERB" to "verb". 2. I added a new function prop2verb(property) which returns...
I inadvertently added "definitions" to the simplified triple language. For the second line of the final example, I should have said ClassOfAbstractObject isu...
Given the continuing popularity of the triple format, I decided to offer you my own brand: Mtriples. Because Mtriples is a subset of the MKR language, it is...
Correction: {myverb isu verb;} is not quite right. You actually need to use myverb isu verb with ctype=binary relation; And just what does "binary relation"...
I just remembered that I have one "workaround" for the infinite loop problem. I ran into this same problem with the OpenCyc KB. They have half a dozen ...
I have just implemented the following convention in MKR/MKE. "i" is the qualifier for individuals. "i" is short, so MKR readability is still good. It's very...
Forget about the RDF/OWL distinction. Just enter kformat := mtriple; and MKE will load all the verbs (properties) for both RDF and OWL. Dick McCullough ...
Since human beings have built-in "hardware" for recognizing similarities and differences between objects, they often form concepts on an ad-hoc basis, without...
MKE now uses the Merr error message system which was developed for the Unicon compiler. The yyerror() procedure prints file name line number input token...
I have never been happy about calling a set "Set". Today I settled on a fairly painless way to fix that. change group name from "Set" to "set" change verb...
I have put together a description of the world view (entity-characteristic-proposition hierarchy, including all predefined entities and properties) for each of...
Since no one is knocking at my door to use my MKR language, I have decided to undertake a serious effort to make MKR/MKE accommodate RDF, OWL, CycL. 1. Along...
OK, let's get really specific. If you have only existent existent there's really nothing to say. If you distinguish existent / entity / characteristic /...
I must apologize for my tendency to leap to conclusions, and skip some essential steps. So I will back up and start again from the beginning. 1. "existents...
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...
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.
