From this time onward, mKE for Linux will be built on Fedora. Fedora Linux 10 is newer and better than the Red Hat Linux 7.3 which I used previously. .. The...
As a prelude to translating mKR to IKL, this email describes the meaning of myView in mKR. myView names a list of propositions. The starting list comes from my...
<John Sowa> But we have consistently complained about the vagueness of what you call "context". <Dick McCullough> Here's a thought experiment to explain the...
The context of a proposition consists of space, time, view Each person has his/her own view(s), named v, at this time, named t at time=t, view = v {...}; The...
Translating from mKR to IKL has forced me to address the issue of how to precisely describe the evolution of knowledge in space, time, view. Previously, I said...
"informal comment" is exactly what I intended. All "adverbs" attach to "event". Not only "with" -- all prepositional phrases attach to "event". Incidentally, I...
I do most of my work in Windows/Cygwin, which is a Linux system. Linux uses "\n" [newline] termnators. Windows uses "\r\n" [carriagereturn newline]. Mac uses...
Looking at the IKL specification document, it's clear that "formal semantics" is all about the syntax of a language. "Formal Interpretations" define the...
This note has three themes. 1. Peirce terms (see Figure 2.7 of Sowa KR 2000 book) and tabula rasa terms (see http://mkrmke.org) are remarkably similar in...
I skimmed through the OWL2 overview and primer, and noticed that there is no definition of "Class". Since my first exposure to RDF/OWL in 2002, I had...
... From: "John F. Sowa" <sowa@...> Subject: [ontolog-forum] Last call: OWL 2 and rdf:text primitive datatype ... In my recent email entitled "Peirce &...
(Removing cc: public-owl-comments since that's not a discussion list.) ... This would be consistent with the spirit of the OWL use of 'class', I think. The...
According to the dictionary, the syntax of a language is the grammatical rules for combining terms into phrases and sentences of a language. the semantics of a...
FYI With a large hierarchy, especially one like a table of contents, the "find" command can be very useful. In the search, all names are folded to lower case, ...
I changed the version number to 8.2, to signal the beginning of a gradual process of simplifying the mKR grammar. I am weeding out the remnants of discarded...
One other aspect of this simplication is worth mentioning. The mKR 8.1 grammar includes the grammar for XML. This is used for translating RDF/OWL to mKR. I am...
<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...
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.
