Extending Consequence−Based Reasoning to SHIQ
Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ František Simančík and Ian Horrocks
Book Title
Proceedings of the 28th International Workshop on Description Logics
Editor
Diego Calvanese and Boris Konev
Month
6
Publisher
CEUR−WS.org
Series
CEUR Workshop Proceedings
Volume
1350
Year
2015