general formal ontology

OK trying to steer clear of the old Nietzsche fascist yeah or nay debate anyways!

Mate of mine is a string theorist and himself and a friend ended up at a “formal ontology” conference - more or less in error. But he’s a philosophy fan and enjoyed it a lot. Does any one know about this stuff. Seems to be an attempt to theorize and actually mathametically represent at a very simple level aspects of reality like duratioon, motion etc…

Seems quite interesting - any one have any knowledge or interest?

Here’s the wikipedia entry with the usual health warnings!

en.wikipedia.org/wiki/General_Formal_Ontology

Actually it looks like a lot could be added to that entry for any hard core mathamatical philosophy heads out there…