Re: The Basic Tension (was: Re: SUO: Re: Consensus?)
Robert,
The basic problem is not really a tension between collaboration or
independence but simply knowing what to do that might have value. We do
ontology merging with content ontologies and so we know what the practical
steps are. We know how to extend SUMO in other domains. But I don't know
how to use IFF and how it would have value so I'm waiting for research
results from you that might illustrate the first example of how to perform
that process.
Adam
At 08:39 AM 5/16/2003 -0700, Robert E. Kent wrote:
>Adam and others,
>
>The basic tension is:
>
>on the one hand, the tendency to go ones own way.
>Adam second wrote:
> > provided that it doesn't restart the clock on the process of
> > bringing the motion to a vote.
>
>on the other hand, the desire to collaborate.
>Adam first wrote:
> > I'd be happy to collaborate, and happy to add such a sentence to the
> > motion,
>
>collaborate:
>to work jointly with others or together especially in an intellectual
>endeavor
>
>cooperate:
>to act or work with another or others; to act together; to associate with
>another or others for mutual benefit
>
>consensus:
>general agreement; the judgment arrived at by most of those concerned; group
>solidarity in sentiment and belief
>
>I do not want to preach, but in the spirit of cooperation we need to keep in
>check the tendency to go ones own way and instead we need to foster the
>spirit of cooperation.
>
> >From the SUMO WG the Joint Library WG might be most interested in the 11
>basic modules, their (history, ancestry, parentage, etc.), their
>development, the annotated process of their merging into the SUMO, etc.
>
> >From the CpenCyc WG the Joint Library WG might be most interested in the
>microtheories, their (history, ancestry, parentage, etc.), their
>development, the structure for connecting microtheories, etc.
>
> >From the IFF WG the Joint Library WG might be most interested in the truth
>axiomatization for the "lattice of theories", the theory axiomatization for
>ontological mappings, and the semantic integration axiomatization.
>
>Robert E. Kent
>rekent@ontologos.org