DMCA
FaCT++ description logic reasoner: System description (2006)
Cached
Download Links
by
Dmitry Tsarkov
,
Ian Horrocks
Venue: | In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006 |
Citations: | 319 - 35 self |