Consequence−Based Reasoning for Description Logics with Disjunctions and Number Restrictions

Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ David Tena Cucala‚ Frantisek Simancik and Ian Horrocks