Extending Consequence−Based Reasoning to SRIQ
Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ František Simančík and Ian Horrocks
How Published
arXiv:1602.04498 [cs.AI]
Month
feb
Year
2016
Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ František Simančík and Ian Horrocks