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