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