Extending Consequence−Based Reasoning to SRIQ
Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ Frantisek Simancik and Ian Horrocks
Book Title
Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference
Editor
Chitta Baral and James P. Delgrande and Frank Wolter
Pages
187–196
Publisher
AAAI Press
Year
2016