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.

Productive expert system development and delivery tool; a full environment for creating rule and/or object based expert systems.

CoBrA is an agent-based architecture for supporting context-aware systems in smart spaces like intelligent meeting rooms, smart homes or vehicles.

Software company providing KBE capabilities for companies with products requiring custom design as an integral part of their sales process.

A portable distributed object-oriented database designed to support the maintenance and sharing of knowledge bases.

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.

A Knowledge Representation System combining expressiveness of Natural Language Processing with Description Logic.

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.

A research effort towards the development of Digital Aristotle, an inference-based question answering system.

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.

Information on a Windows expert system shell. Includes product descriptions and pricing and contact information.