Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi
Rob Shearer‚ Boris Motik and Ian Horrocks
Details
| Book Title |
Proc. of the 2008 Description Logic Workshop (DL 2008) |
| Series |
CEUR (http://ceur-ws.org/) |
| Year |
2008 |