Skip to main content

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