DMCA

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
Citations:312 - 36 self