Ontolog Forum
PreAct is a modern, commercial KB system development that has roots in the DARPA Pilot's Associate System. It is used to develop systems that include, reason about and operate on a "knowledge base".
See: http://asinc.com/technology_overview.php