Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

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


May 03, 2018
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

Add code


   Access Paper or Ask Questions