Data and Knowledge Group

Sequoia Reasoner

Overview

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.