Highlights on Description Logic Systems

Racer: Download 

Open-source, with double-clickable knowledge-engineering environment

Racer: Overview

Racer: More Details

Racer: The open-source system that is still available and very easily accessible