My http://rhm.cdepot.net/doc/DL03paper.html was rejected. Here are some excerpts from the two reviewers. no "firm meaning for the examples" of MKR MKR...
Dick McCullough knowledge := man do identify od existent done; knowledge haspart proposition list; ... From: Richard H. McCullough To: dialoguer@... ...
Dick McCullough knowledge := man do identify od existent done; knowledge haspart proposition list; ... From: dialoguer@... To: Richard H. McCullough ...
The intent of this email is to get a start on this difficult subject. This subject is relevant to the possible use of MKR as a "user-friendly" interface to...
... Frames and slots fit a logic of binary predicates (OWL properties) without the explicit expressiveness of first & higher order predicate calculus. CycL,...
Just two quick follow-up questions for now. 1. CycL modal logic -- I don't recall any discussion in 1989 book. Could you say a few words about this? MKR does...
Here is a bit of information on these currently proprietary topics. ... Cyc's modal inference process consists of the assignment of logical inference features...
MKE version 5.9 interfaces directly with the Stanford TAP knowledge base. Notes: 1. TAP KB is selected by set kbmode=tap; 2. Questions access online Stanford...
1. MKE 6.0 has a much improved interface to the TAP KB. Using MKE, and comparing the results to the online Perl browser, I have identified some new GetData...
See my answers below. Dick McCullough knowledge := man do identify od existent done; knowledge haspart proposition list; ... From: "Rob McCool" <robm@...>...
See below Dick McCullough knowledge := man do identify od existent done; knowledge haspart proposition list; ... From: "Richard H. McCullough" <rhm@...>...
1. It looks like a URI problem. I'm beginning to make some progress by using GetResource to find the right URI. It's a pain trying to keep straight whether...
I notice that I get different results on tap server & panic server. Is that strictly due to having more explicit links on the panic server KB, or is there...
1. As I do more TAP examples, I see more examples such as FashionModelMacPherson,Elle ActorMacPherson,Elle which should be declared FashionModelMacPherson,Elle...
I like it!!! I just added that code to GetData & PutData java programs. Dick McCullough knowledge := man do identify od existent done; knowledge haspart...
Forget the "Property" problem on panic server. I was still translating "Property" to "PropertyType". Dick McCullough knowledge := man do identify od existent...
I just received my latest order from Amazon.com. Anna Wierzbicka, "Semantic Primes and Universals", Oxford University Press, 1996. Wierzbicka identifies about...
1. re: owl:sameAs Won't you need a relation like "is" or "owl:sameAs" to tell the post-processor what to do? 2. re: commas In the MKR context, \ can be used as...
I think there are two unresolved issues. 1. The results are different. If this is due to some bugs in the SuperClass/SubClass processing on the "old" tap...
I'm just wondering if you have a SuperClass/SubClass option for the java method GetResourcesNamed(). My basic shell script is GetResource genus name where...
These results were obtained with SuperClass & SubClass flags set. I first started getting suspicious when GetData Property type yes | sort did not contain...
Here's the revised version for http://panic.stanford.edu/data/ turned off flags: includeSubClasses, includeSuperClasses minor improvements in GetData program ...
food for thought: A "semantic prime" is a universal, undefined concept which can be used to define all other concepts. Here are two versions, Wierzbicka 1996...
Could you help me "ask" OpenCyc these questions: Why did the chicken cross the road? How do I get from my house to the airport? so that I have an example of a...
old syntax: set she = Nurse Ratched; $she isa nurse; new syntax: she means Nurse Ratched; she isa nurse; Dick McCullough knowledge := man do identify od...
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.
