FaCT++ description logic reasoner: System description (2006)

by Dmitry Tsarkov, Ian Horrocks
Venue:In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006