Knowledge Explorer  
   KR is a knowledge representation language combining English-like statements, commands and questions with UNIX-like conditionals, loops and methods. Knowledge Explorer implements the KR language in an interactive tool to record, check and search knowled
   http://www.volcano.net/~rhm

FramerD  
   A portable distributed object-oriented database designed to support the maintenance and sharing of knowledge bases.
   http://www.framerd.org/

XMaster  
   Information on a Windows expert system shell. Includes product descriptions and pricing and contact information.
   http://www.chrisnaylor.co.uk/

CLIPS  
   Productive expert system development and delivery tool; a full environment for creating rule and/or object based expert systems.
   http://www.ghg.net/clips/CLIPS.html

MOTEL  
   A Knowledge Representation System combining expressiveness of Natural Language Processing with Description Logic.
   http://www.mpi-sb.mpg.de/~hustadt/motel/system.html

Classic Knowledge Representation System  
   Features description of the software framework and implemented systems, as well as information on machine learning applied to description logics. Also offers a selected bibliography and details on obtaining the software.
   http://www.bell-labs.com/project/classic/

DAA Solutions  
   Software company providing KBE capabilities for companies with products requiring custom design as an integral part of their sales process.
   http://www.daasolutions.com

OMCSNet  
   A freely available semantic network of common-sense knowledge and a set of tools for making inferences using this knowledge. Features download, white papers and developer tools.
   http://web.media.mit.edu/~hugo/omcsnet/

Project Halo  
   A research effort towards the development of Digital Aristotle, an inference-based question answering system.
   http://www.projecthalo.com

Context Broker Architecture  
   CoBrA is an agent-based architecture for supporting context-aware systems in smart spaces like intelligent meeting rooms, smart homes or vehicles.
   http://cobra.umbc.edu/index.html

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
   http://magic.it.uts.edu.au/systems/saten.html