Sequoia: A Consequence Based Reasoner for SROIQ
David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks
Book Title
Proceedings of the 32nd International Workshop on Description Logics‚ Oslo‚ Norway‚ June 18−21‚ 2019
Editor
Mantas Simkus and Grant E. Weddell
Publisher
CEUR−WS.org
Series
CEUR Workshop Proceedings
Volume
2373
Year
2019