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.
CLIPS: Productive expert system development and delivery tool; a full environment for creating rule and/or object based expert systems.
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.
DAA Solutions: Software company providing KBE capabilities for companies with products requiring custom design as an integral part of their sales process.
FramerD: A portable distributed object-oriented database designed to support the maintenance and sharing of knowledge bases.
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 knowledge. Knowledge is recorded in entity-characteristic-proposition hierarchies with space-time-dependent events.
Mind Graph: Graphic techniques for problem solving in maths, computer programming, studying, note-taking, brainstorming and knowledge representation.
MOTEL: A Knowledge Representation System combining expressiveness of Natural Language Processing with Description Logic.
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.
Project Halo: A research effort towards the development of Digital Aristotle, an inference-based question answering system.
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.
XMaster: Information on a Windows expert system shell. Includes product descriptions and pricing and contact information.