Ezop is a project mainly written in ..., it's free.

Lapshin's versia. Algebraic approach to ontology construction implementation