DL Reasoner vs. First−Order Prover
Dmitry Tsarkov and Ian Horrocks
Book Title
Proc. of the 2003 Description Logic Workshop (DL 2003)
Pages
152–159
Series
CEUR (http://ceur-ws.org/)
Volume
81
Year
2003
Dmitry Tsarkov and Ian Horrocks