BlankAzamat said I wonder how can it cover many different views with such a narrow reading of relationship, knowledge, and context? I neglected to make a very...
Re: [ontolog-forum] EU FP Ontology projectsI have defined "context" to be a list of propositions. But the propositions may refer to the hierarchy. Here is a...
Re: [ontolog-forum] EU FP Ontology projectsDuane I agree that there are many different contexts which may apply to the same reality. There may be N different...
John Sowa and Pat Hayes and others have asked me to define what I mean by space and time. It's all about epistemology. With some purpose in mind, I create...
... Not true. Each myView has precisely defined terms. But I can change myView whenever appropriate. Thus myKnowledge will have the form at view = v1 {...
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. mKR is...
FYI I'm just beginning to catch up on my email in Ontolog Forum. This is a hot topic there, and it sounds really exciting! Dick ... From: "John F. Sowa"...
... From: "Pat Hayes" <phayes@...> Sent: Tuesday, March 17, 2009 9:47 AM Subject: Re: [ontolog-forum] Incompatibilities in 3D to 4D ... The above is...
... From: "Randall R Schulz" <rschulz@...> Sent: Tuesday, March 17, 2009 12:07 PM ... Yes, mKR is "a very ugly and unnatural kind of human language" ...
John I still intend to do a translation from mKR to IKL, but I wanted to state my philosophy re: mKR and English. Dick McCullough Ayn Rand do speak od mKR...
[I am being more explicit about what I said before.] If you represent your partial hierarchies as genus: species1, species2, ..., speciesN; translating to mKR...
Miracles do happen! I asked Google for "LBA disk address". I received only 1 reference ("similar entries omitted") and 8 "related searches". Dick McCullough ...
If your partial hierarchy has nested subspecies of the form genus: species1, species2 ( subspecies21, ..., subspecies2M ), ... speciesN; then you need to use a...
Just a few quick questions: since you have a link to OpenCyc, do you automatically include the hierarchies there? do you handle hierarchies of relationships...
see my answers below prefixed by >>>> Dick ... From: David Whitten To: KR-language@yahoogroups.com Sent: Tuesday, March 24, 2009 8:02 PM Subject: Re:...
By intention, this email will be very short. It does not discuss any details of the semantics. The mKR ["my Knowledge Representation"] language is a general...
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...