Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals.

David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

Browse the full IJCAI paper archive.