Reasoning On the Web

Available reasoners may vary.
Times quoted include network latency and are not indicative of individual reasoner performance.
Our server is modest. Please contact the author if you want to use this service for reasoning with large or tricky ontologies.
Powered by OWLAPI and gaphu.js