Skip to main content

Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals

David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks

Journal
CoRR
Volume
abs/1805.01396
Year
2018