Data and Knowledge Group

― Knowledge Representation and Reasoning

Sequoia Reasoner


Sequoia is a consequence-based ontology reasoner that supports the SROIQ subset of OWL 2 DL — that is, it supports all OWL 2 DL features apart from 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.

Using Sequoia

The reasoner is compliant with the OWL API, and it can also be used as a Protégé plugin.


Andrew Bate, David Tena Cucala, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks


UK Engineering and Physical Sciences Research Council

Key Publications

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.