Mitch, (01)
Mitch Harris schrieb:
> On Tue, Jan 27, 2009 at 10:03 AM, Len Yabloko <lenya@xxxxxxxxxxxxx> wrote:
>> Dear All
>>
>> Category Theory had been mentioned many times on this forum. I think this
>subject deserves a separate thread. As usual the attitudes range widely. Some
>of you consider CT largely irrelevant to subjects discussed on this forum
>because it lacks both philosophical underpinning of Logic and practical
>application of Ontology, leaving it pretty much a mathematical discipline.
>
> - My opinion is that it is currently irrelevant because there are no
> current applications of CT to ontologies (02)
I think there are some - for example the theory of institutions which is
used to study relations between different logics and therefore also
ontologies over different logics. See: (03)
Data, Schema, Ontology and Logic Integration
by: Joseph A Goguen
Logic Journal of the IGPL, Vol. 13, No. 6. (November 2005), pp. 685-715.
http://dx.doi.org/10.1093/jigpal/jzi050 (04)
Institutions: abstract model theory for specification and programming
by: Joseph A Goguen, Rod M Burstall
J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146.
http://dx.doi.org/10.1145/147508.147524 (05)
Jakub (06)
> , and I don't see any
> immediate applications other than loose analogies. Sure, some
> application might be developed, but right now I don't see any (but
> please don't that let prevent people from at least considering it).
> (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)
|