Skip to main content

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.
Pages
1970–1976
Year
2018