Extending Consequence-Based Reasoning to SRIQ

Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks. Extending Consequence-Based Reasoning to SRIQ. In Chitta Baral, James P. Delgrande, Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. pages 187-196, AAAI Press, 2016. [doi]

Authors

Andrew Bate

This author has not been identified. Look up 'Andrew Bate' in Google

Boris Motik

This author has not been identified. Look up 'Boris Motik' in Google

Bernardo Cuenca Grau

This author has not been identified. Look up 'Bernardo Cuenca Grau' in Google

Frantisek Simancik

This author has not been identified. Look up 'Frantisek Simancik' in Google

Ian Horrocks

This author has not been identified. Look up 'Ian Horrocks' in Google