Information Systems Group

― Knowledge Representation and Reasoning

Sequoia Reasoner

Overview

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.

Download

Using EOLO

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

Researchers

Ian Horrocks, Bernardo Cuenca Grau, Boris Motik

Sponsors

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.