CWB is a C++ prototype implementation of various caching methods for the description logic ALC.
Download: