FaCT++ Description Logic Reasoner: System Description.

Dmitry Tsarkov, Ian Horrocks

Browse the full CADE paper archive.