Here are my initial thoughts on improving SUMO. 1. Make extensive use of genus-differentia definitions. If you don't want to use mKR, at least use the OWL ...
I don't think your comments below are pertinent for suggestions 1 and 3. re: 1. I can't believe that you don't want to use genus-differentia definitions. For...
One kind of contradiction in SUMO is the individual-class contradiction. Many terms in SUMO are both individuals (aka units) and Classes (aka concepts). This...
It's not a matter of logic. It's a matter of definitions. Even though I've forgotten a few things over the years, I know a lot about logic. You're using a...
I beg to disagree. The fact that it's common doesn't make it right. A class with one member is not the same as an individual. They are two different...
OK, here's my guess. I think the contradiction is not provable because you did not define "individual" and "class". Also, you would need definitions of "type"...
I'm not going to define them for you now, but just give you a visual example of their meaning. If you build an ontology, with your "Entity" at the top, and...
I spent most of the morning skimming thru "Logic, Second Edition" by Nolt, Rohatyn, Varzi, so I am now ready to answer your questions about what kind of logic...
Re: "individual" and "class"See bottom. Dick McCullough Ayn Rand do speak od mKR done; mKE do enhance od Real Intelligence done; knowledge := man do identify...
Here are my definitions of "individual" and "class". To understand them, you need to consider how humans create classes. For simplicity, I am going to restrict...
Brian Riley alerted me to the existence of this paper. I just finished reading it, and I was especially interested in your categories of External Language (EL)...
Pat You are getting sidetracked by trivia here. I said I was using a restricted example. You talked about unrestricted examples. Let's focus on the real core. ...
We have never discussed the other standard tests that mKE performs to insure the consistency of the knowledge hierarchy. When you use the command do check od...
I think "group" may be the same as "collection", but I'm not sure. in mKR group is entity with abstract; It's the widest class, which includes set enum list ...
As I thought some more about my "group", I realized that it must allow 0 or more members, if it's going to be at the top of the hierarchy, and subsume "set". ...
It is a visual aid to help you grasp the meaning of knowledge. It is used to input/output knowledge. It is the internal "data structure" used to store...
I call the ECP hierarchy a knowledge unit (knit). It is a universal structure, a "type" if you want to call it that, which can be used to record any ...
Over the last six years, I have suggested a number of "improvements" to the RDF language. Not one of my suggestions was adopted. Apparently, RDF is fine just...
Re: Why do you want to do that?1. You have caused me to re-evaluate my proof, and I now see that I skipped over an interesting step. Let me start again. By...
Re: Why do you want to do that?Hi Pat 1. X sameAs X; Thanks for the info. that this statement is true. I didn't know that OWL committed itself to that axiom....
Re: Why do you want to do that?Let me clarify several things. 1. mKR can handle an X which is both an Individual & a Class in the same context. 2. Since I...
Re: Why do you want to do that?See below. Dick McCullough Ayn Rand do speak od mKR done; mKE do enhance od Real Intelligence done; knowledge := man do identify...
I finally got a few minutes to read OWL Guide 3.1.3 I read that section as supporting my position. The word "context" is mentioned several times, with the...
Re: Why do you want to do that?1.Yes, I think we do have different definitions of "individual". We should have some more discussions about this. I would like ...
Hi Pat We've got a lot of confusion between us right now. I'll do my best to straighten it out. See below for my answers, comments, etc. Dick McCullough Ayn...
Hi Denny Thanks for your input. See below for my response. Dick McCullough Ayn Rand do speak od mKR done; mKE do enhance od Real Intelligence done; knowledge...
Hi Denny You're right as usual. See below. Dick McCullough Ayn Rand do speak od mKR done; mKE do enhance od Real Intelligence done; knowledge := man do...
Hi Frank OK, I have been convinced there's a reason why you would want to do that. The downside is that you introduce another ambiguity, which must be resolved...
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.
