FaCT++ Description Logic Reasoner: System description, in: (2006)

by D Tsarkov, I Horrocks
Venue:Third International Joint Conference on Automated Reasoning (IJCAR), Vol. 4130 LNAI,