<RHM> Again, there are example ontologies and axioms on my web site. <PJH> Ah, but if they are written in mKR, then they don't count as ontologies or axioms ...
I just caught the end of a Today Show item on a 6-year project to digitize the immigration records of Ellis Island. They showed some photos of ancestors of ...
... From: Richard H. McCullough To: Patrick J. Hayes 2) Later today, I will give you some additional propositions from the context of Fido isu dog; Some...
... From: "John F. Sowa" <sowa@...> ... The agreement at lower levels may be an illusion, because the upper levels are determined by the epistemology...
No, I am not satisfied with your proposed additional text. If OWL2 "class" is the "extension set" of a "concept", your document should say that. If your...
This behavior is so strange & repeatable that I suspect a bug. In essence, my program uses a nested level of suspends to process "begin" - "end" groups of...
I made a mistake in summarizing my programs. The nested parse_file(fd,"nrel","end") is contained inside the "interpret_symbol" procedure, not the "parse_file"...
The quickest way to see sample date in action is to execute "ke". It exits on the second line of the file KEHOME/kb/spo.mkr.html. I have uploaded a copy of...
This problem occurs when there is an mKR syntax error in the input. The original case was due to an editing error on my part -- the token type of "/" was "U"...
Problem solved! My syntax_error( ) procedure had an infinite loop. [After parse error, it called another parse function.] No problem with Unicon suspend. Dick...
I have added the owl2omn command to KEHOME/bin. #<html><xmp> # KEHOME/bin/owl2omn # May/20/2009 # # University of Manchester # RESTful OWL syntax converter # #...
Dear Sir/Madam At last you found us! Halwasiya Infosys is the one-stop shop you have been looking for to fill all of your Web Development needs. From Logos to...
Hi Azamat I missed hearing from you for the last few days. What have you been doing? Here's what I'm up to. 1. Learning more about Drupal. Have a good book on...
The time has come to pin down exactly what you mean by translating mKR to IKL. Consider do read from http://mkrmke.net/knowledge/sumo/sumo.mkr done; Naively,...
Personally, I take any imperative "do X" as abbreviating a declarative "someone wants you to do X" or "someone recommends that you do X", which forces the...
Jonathan I agree with you. The question is whether such contexts are relevant to the mKR => IKL translation that John Sowa has suggested to validate mKR...
All of your "problems" can be summarized in one word: CONTEXT. The "solutions" are readily available: use a CONTEXT LANGUAGE. mKR is a CONTEXT LANGUAGE. Dick...
... From: "John F. Sowa" <sowa@...> ... #### Is it really so simple-minded, when the next words out of ... #### If context is the central problem, then...
Context is a list of propositions. To be more explicit, I think in human terms. Start with a "tabula rasa" brain -- where the only propositions are those which...
... From: "John F. Sowa" <sowa@...> ... I am thinking specifically of mKR/mKE's built-in commands for transforming one ontology into another ontology. ...
Just correcting a few misconceptions, below. Dick McCullough http://mkrmke.org ... From: "John F. Sowa" <sowa@...> ... RHM> I did not say that. I have...
attached j3.txt is input (12 synsets) here is some mKE output $ ke -s ke$ do read from j3.txt done; # command <do read from j3.txt done;> ##### read_knit...
http://standardontology.org/drupal/tabula%20rasa/rdf XML Parsing Error: not well-formed Location: http://standardontology.org/drupal/tabula%20rasa/rdf Line...
I haven't bothered to track down the error in the XML output from Neologism. I think it's caused by the blank in the vocabulary name. I was mostly looking at...
Replacing the blank by an underscore ('_') solves problem. Dick McCullough http://mkrmke.org ... From: Richard H. McCullough To: KR-language@yahoogroups.com ...
I changed the way info. is stored to make it easier to access. The synset members can be accessed from any member. stuff syn ?; Likewise, for wnDefinition &...
mKR/mKE is not yet available as a web service, but you can order pizza from your PC using this mKR method # KEHOME/test/buy.html # Jun/7/2009 buy is method...
When I originally added proposition names to mKR, in version 7.1, I included forms like name :: sentence ; Version 8.2 now includes forms like name ; Some...
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.
