TY  - RPRT
TI  - Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals
AU  - David Tena Cucala
AU  - Bernardo Cuenca Grau
AU  - Ian Horrocks
PY  - 2018
UR  - https://arxiv.org/abs/1805.01396
ID  - 1805.01396
ER  -