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
Editor
Alessandro Artale and Birte Glimm and Roman Kontchakov
Publisher
CEUR−WS.org
Series
CEUR Workshop Proceedings
Volume
1879
Year
2017