FaCT++ Description Logic Reasoner: System Description
Dmitry Tsarkov and Ian Horrocks
Book Title
Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006)
Pages
292–297
Publisher
Springer
Series
Lecture Notes in Artificial Intelligence
Volume
4130
Year
2006