Cognipro - Software for developing knowledge-based expert systems using IF-THEN-ELSE production rules.The Chimaera Ontology Environment - A merging and diagnostic ontology environment. It is distributed for external use and has been used in academics and also commercially.
FramerD distributed object-oriented database - FramerD is a portable distributed object-oriented database designed to support the maintenance and sharing of knowledge bases. Unlike other object-oriented databases, FramerD is optimized for the sort of pointer-intensive data structures used by semantic networks, frame systems, and many intelligent agent applications. FramerD databases readily include millions of searchable frames and may be distributed over multiple networked machines. FramerD includes an extensive scripting language based on Scheme with special support for web-based interfaces.
MELD: AI Programming Language - Specifications for the MELD (Moderately Expressive Logical Description) Language for Knowledge Representation and Artificial Intelligence. Fundamental method of formally specifying common sense knowledge used by Cycorp and HPKB (High Performance Knowledge Base) and PDKB (Public Domain Knowledge Bank).
CLIPS - Productive expert system development and delivery tool; a full environment for creating rule and/or object based expert systems.
MOTEL Knowledge Representation System - The MOTEL Knowledge Representation System
The CLASSIC Knowledge Representation System - One of the more widely used simple description logic-based knowledge representation systems. CLASSIC has been used for over a decade in academic and commercial settings. The largest application family is a configurator series, some of which are still in use in Lucent Technologies (originally deployed at AT&T). It was developed by Borgida, Brachman, McGuinness, Patel-Schneider, and Resnick.
DAA Solutions - Software company providing KBE capabilities for companies with products requiring custom design as an integral part of their sales process.
SATEN - A Sagacious Agent for Theory Extraction and RevisioN. SATEN is an intelligent object-oriented web-based information management system. It provides an information extraction engine and methods for iterated belief revision. It can also perform nonmonotonic reasoning, possibilistic reasoning, and hypothetical reasoning.
