Skip to main content

Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ and Nominals

David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks

Book Title
Proceedings of the 30th International Workshop on Description Logics‚ Montpellier‚ France‚ July 18−21‚ 2017
Year
2017