Sequoia is a consequence-based ontology reasoner that supports the SRIQ subset of OWL 2 DL — that is, it supports all OWL 2 DL features apart from nominals and datatypes. The system is released under an academic license that allows free use for noncommercial purposes. If you want to use Sequoia as a library in your project, you could download this Sequoia.jar and import it in your project. Please, make sure that you also add all dependencies to your project; Sequoia works with OWL API 4.5.x.
For more information, you can visit the GitHub project page.
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, František Simančík, and Ian Horrocks. Extending Consequence-Based Reasoning to SRIQ. KR 2016, pages 187–196.