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.
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.