Leo, (01)
If that's true, then I have no complaints. (02)
> We ALL believe in a lattice of theories these days. That
> includes upper theories, middle theories, domain theories.
> So what's your beef? (03)
I thought that my first note on this subject was a statement
and clarification of the general consensus. I was surprised
by the response from Azamat, who seems to want a giant monolith. (04)
> If we arrive at a "collection" of theories that address upper,
> middle, domain levels, that is a very good thing. If they are
> all related via logical relations, that is a very good thing.
> If we can design a systematic way of establishing those logical
> relations among theories, that is a very good thing. (05)
I agree -- provided that we keep the lattice open to new versions
and variations as needed. (06)
John (07)
_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-forum/
To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config:
http://colab.cim3.net/mailman/listinfo/ontac-forum/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki:
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG (08)
|