Here are some useful links to other projects or websites.

• FaCT++ -- an OWL-DL reasoner
• Verbalizer -- at the Insitute of Artificial Intelligence, Ulm University