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.
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.
Graphic techniques for problem solving in maths, computer programming, studying, note-taking, brainstorming and knowledge representation.
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.