Re: Cyc Subject Predicate Object

at the risk of being Unpopular (and acknowledging that i am Uncredentialed), i will go ahead and chime in...
don't we want to build a Big Tent, here? shouldn't anyone who has thought Deeply about Reasoning with a Computer be allowed to participate?
i have been programming computers since 1969 and i think i can tell when someone knows what he is talking about and when he does not. does anyone doubt that Richard knows about Reasoning with a Computer?
Sir Tim BL, have your ideas about the Semantic Web been so widely adopted that you can afford to turn down contributions from an Unlikely Ally?
Jim Hendler, what if Richard's research adds two or three more links to ProfilesInTerror that were not there before? isn't that worth tolerating MKE?
Ian Horrocks, what if Richard's ideas suggest an optimization to Cerebra that allows you to process rules 20% faster? isn't that worth reading through a few extra posts to this list?
i, for one, welcome Richard's contributions and suggest that if any Reasoner is isomorphic with OWL, that we welcome their contributions to this community.
life is too short and computers are too feeble,
delbert

>-----Original Message-----
>From: Rinke Hoekstra [mailto:hoekstra@uva.nl]
>Sent: Friday, February 16, 2007 04:55 AM
>To: 'Richard H. McCullough'
>Cc: 'Semantic Web at W3C', 'OWL at W3C'
>Subject: Re: Cyc Subject Predicate Object
>
>Dear Richard,
>
>Since the discussion about your contributions has been opened-up (yet 
>again). I would like to join Giovanni in expressing my concern that the 
>larger body of subscribers to this mailinglist is not particularly 
>interested in your contributions.
>
>Just some statistics: about 40% of the posts to the semantic-web@w3.org 
>mailinglist in the past 6 days were sent by you, none of which have 
>received a reply.
>
>It would be a shame to see this mailinglist go down in the same way as 
>the SUO/SUMO mailinglist a few years ago (has it already been 4 years?). 
>And I wholeheartedly support Giovanni's suggestions.
>
>Best,
>
> Rinke
>
>Richard H. McCullough wrote:
>> 
>> I did exactly what you are suggesting - 4 YEARS AGO.
>> My recent emails constitute a status update, with
>> new tools that members of this ML can use NOW.
>> 
>> But I don't want to SPAM anyone.
>> Unless I receive some inquiries from this ML,
>> you won't hear from me again.
>> 
>> Dick McCullough
>> knowledge := man do identify od existent done;
>> knowledge haspart proposition list;
>> http://mKRmKE.org/
>> 
>> ----- Original Message ----- From: "Giovanni Tummarello" 
>> <g.tummarello@gmail.com>
>> To: "Richard H. McCullough" <rhm@pioneerca.com>
>> Sent: Thursday, February 15, 2007 4:58 AM
>> Subject: Re: Cyc Subject Predicate Object
>> 
>> 
>>> Richard, are you sure your posts are appropriate in this ML?
>>> While they might seem on topic, there is no reply nor hint of direct
>>> interest and they involve what appear to be idiosyncrasies and are
>>> anyway are hard to follow.
>>> I think you should open a newsgroup of your own (look into Google
>>> groups and yahoo) for respect for those who have just interest in what
>>> the ML is about. the W3C Semantic Web initiative (questions and
>>> answers related to the standards, announcements of new projects
>>> (please note that people just anonunce, dont insist on things unless
>>> they're asked directly and think that the reply interests more) )
>>> Sincerely
>>> Giovanni
>>>
>>> On 2/15/07, Richard H. McCullough <rhm@pioneerca.com> wrote:
>>>>
>>>> 1. Here's my first cut at organizing all those
>>>> first-level concepts in the Cyc hierarchy.
>>>> Looks like we should call this one an
>>>> Entity-Relation-Proposition hierarchy.
>>>>
>>>> # <html><xmp>
>>>> # KEHOME/kb/spo.cyc
>>>> # Feb/15/2007
>>>>
>>>> begin hierarchy Entity-Relation-Proposition;
>>>> Thing;
>>>> # entity
>>>> / Entity;
>>>> / IndexicalConcept;
>>>> / Individual;
>>>> // TemporalThing;
>>>> /// SomethingExistiing;
>>>> //// Entity;
>>>> / Intangible;
>>>> / PartiallyIntangible;
>>>> / PartiallyTangible;
>>>> / TangibleThing;
>>>>
>>>> # characteristic
>>>> / Relation;
>>>> // FixedArityRelation;
>>>> /// BinaryRelation;
>>>> //// Property;
>>>>
>>>> # context
>>>> / Microtheory;
>>>> # proposition
>>>> / CycLQuery;
>>>> / CycLTerm;
>>>> / DocumentationConstant;
>>>> / ELSentence-Assertible;
>>>> / ELTemplate;
>>>> / ELVariable;
>>>> / Path-Generic;
>>>> / PathSystem;
>>>> / ReformulatorHighlyRelevantFORT;
>>>> / ReformulatorIrrelevantFORT;
>>>> / SubLSymbol;
>>>> / TheTerm;
>>>>
>>>> # group
>>>> / SetOrCollection;
>>>> // Collection;
>>>> /// Class;
>>>> /// CoreConstant;
>>>> // Set-Mathematical;
>>>> end hierarchy Entity-Relation-Proposition;
>>>>
>>>> begin hierarchy imaginary;
>>>> Nothing;
>>>> end hierarchy imaginary;
>>>>
>>>> # propositions
>>>> # Thing has Property = Value;
>>>> # individual isu class;
>>>> # species iss genus;
>>>> (#$Property #$Thing #$Value);
>>>> (#$isa individual class);
>>>> (#$genls species genus);
>>>>
>>>> # mKR relation CycL
>>>> nonexistent is Nothing;
>>>> existent is Thing;
>>>> # entity is Entity;
>>>> # characteristic is Relation;
>>>> # proposition is Proposition;
>>>> # isu is isa;
>>>> # iss is genls;
>>>> #</xmp></html>
>>>>
>>>> 2. I'm still looking at the internals of the ERP hierarchy.
>>>> I've found more Collections, and lots of Type classes.
>>>> I think all these Type classes have the same error -- using
>>>> "isu","iss" relations instead of "ismem" relations. I'm not
>>>> aware of any reason for having these Type classes.
>>>> My guess, pending further investigation, is that all the
>>>> Type classes should be removed from the hierarchy.
>>>>
>>>> Dick McCullough
>>>> knowledge := man do identify od existent done;
>>>> knowledge haspart proposition list;
>>>> http://mKRmKE.org/
>>>>
>>>>
>>>>
>>>>
>>>
>>>
>> 
>> 
>
>-- 
>----------------------------------------------
>Drs. Rinke Hoekstra
>
>Email: hoekstra@uva.nl Skype: rinkehoekstra
>Phone: +31-20-5253499 Fax: +31-20-5253495
>Web: http://www.leibnizcenter.nl/users/rinke
>
>Leibniz Center for Law, Faculty of Law
>University of Amsterdam, PO Box 1030
>1000 BA Amsterdam, The Netherlands
>----------------------------------------------
>

Received on Saturday, 17 February 2007 01:55:30 UTC