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

Cite this paper

@inproceedings{Cucala2017ConsequencebasedRF, title={Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals}, author={David Tena Cucala and Bernardo Cuenca Grau and Ian Horrocks}, booktitle={Description Logics}, year={2017} }