AH>>> Allowing and capturing all different (but logically equivalent)
>>> axiomatizations of an intuition is laudable goal, but it
>>> introduces serious problems in terms of _possibly_ exponential
>>> growth for the repository... (01)
JFS>> The lattice of all theories is infinite. It doesn't "grow"
>> because it is always as big as it can be. But the guidelines
>> can specify various rules, regulations, and restrictions on what
>> is stored, what is highlighted, what is deprecated, what has been
>> contributed but not vetted, what is archived, etc. (02)
AH> True, but we are talking here about a software artifact, which
> _will_ grow. Moreover, if the idea of generating an FO is to
> enable interoperability, and we maintain parallel hierarchies
> of equivalent theories, extending one theory in one of these
> parallel hierarchies would put them out of sync. Just an issue
> that needs to be addressed. (03)
I agree that the issue should be considered. (04)
In any case, the hierarchy of implemented theories would primarily
contain those that people have actually found useful. Therefore,
the number of theories in the hierarchy won't grow any faster than
the rate of growth of developers and applications. (05)
I doubt that we will have an exponential growth of developers. (06)
John (07)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
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)
|