Current work on Protégé/2000
Enhanced GUI facilities for knowledge acquisition and knowledge browsing
Access to controlled terminologies via Lexical Technology’s Metaphrase API
Axiom language for defining constraints among instances
Plug ins for OKBC and relational-database connectivity