Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals
David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks
Book Title
Proceedings of the Twenty−Seventh International Joint Conference on Artificial Intelligence‚ IJCAI 2018‚ July 13−19‚ 2018‚ Stockholm‚ Sweden
Editor
Jérôme Lang
Pages
1970–1976
Publisher
ijcai.org
Year
2018