Dear Pat, (01)
> > JFS>> What I am proposing, as I have said many times, is a lattice of
> >>> theories -- or at least a finite subset (hierarchy) of theories
> >>> that have actually been defined and stored in a repository).
> > RW> Are these ideas sufficiently well-formed that we could start to
> >> talk about the metadata required to support the lattice?
> > The theoretical foundation has been well formed for over 80 years.
> > I've been gathering material from recent discussions on Ontolog Forum
> > for the report that I had hoped to post on my web site last week.
> The lattice of theories idea is solid, Of course. But I don't believe
> that your intended application of it to solve the 3D/4D issue is fully
> worked out, and I won't accept that until I see the proposed 'neutral/
> minimal' theory that is supposed to be the lattice intersection of the
> 3D and 4D ontologies. I will bet you a steak dinner that it can't be
> done. (02)
MW: I had not understood John to be proposing a solution to the 3D/4D issue,
only a framework within which the problem could be managed and minimized. I
think that could be both interesting and useful. (03)
MW: In any case, there are not only two conflicting theories to reconcile,
but multiple ones each with different sets of commitments, so I agree the
chances of being able to finesse all the possible differences looks remote,
but we do not need to end up with a neat solution, just a feasible one. (04)
Tel: +44 560 302 3685
Mobile: +44 750 3385279
This email originates from Information Junction Ltd. Registered in England
and Wales No. 6632177.
Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
Hertfordshire, SG6 3JE. (07)
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (08)