I agree with Chris that FOL, such as Common Logic,
is more than adequate to support current projects. (01)
LO>> I know the FOL folks have a bit of heartburn with
>> [category theory]. (02)
CM> *urp* Pardon! (03)
I also agree with Chris that applications of category theory
to ontology are still in the research stage, and the IFF
project by Robert Kent is still "under construction". (04)
However, I also believe that there is a great deal of power
in category theory, and it is important to continue to
support research projects that develop it. (05)
Summary: Keep an eye on category theory for the long term,
but don't depend on getting applications in the short term. (06)
John Sowa (07)
_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-dev/
To Post: mailto:ontac-dev@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config: http://colab.cim3.net/mailman/listinfo/ontac-dev/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki:
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG (08)
|