Extending Consequence-Based Reasoning to SRIQ.

Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simanck, Ian Horrocks

Browse the full KR paper archive.