@inproceedings{f3e17b99f7e74ebf9fb0446946d6a6a3,
title = "Consequence-based reasoning for description logics with disjunction, inverse roles, number restrictions, and nominals",
author = "Cucala, \{David Tena\} and Grau, \{Bernardo Cuenca\} and Ian Horrocks",
note = "Publisher Copyright: {\textcopyright} 2018 International Joint Conferences on Artificial Intelligence. All right reserved.; 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 ; Conference date: 13-07-2018 Through 19-07-2018",
year = "2018",
doi = "10.24963/ijcai.2018/272",
language = "English",
series = "IJCAI International Joint Conference on Artificial Intelligence",
publisher = "International Joint Conferences on Artificial Intelligence",
pages = "1970--1976",
editor = "Jerome Lang",
booktitle = "Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018",
}