A Hypertableau Calculus for SHIQ
Boris Motik‚ Rob Shearer and Ian Horrocks
Details
| Book Title |
Proc. of the 2007 Description Logic Workshop (DL 2007) |
| Series |
CEUR (http://ceur-ws.org/) |
| Volume |
250 |
| Year |
2007 |