Snorocket for Protégé and OWL API 3
Snorocket for Protégé is a Java implementation of the polynomial classification algorithm described by Baader et al in Pushing the EL Envelope and packaged for use as a reasoner in Protégé. It has been developed as part of the CSIRO's Health Informatics and Clinical Terminologies research program.
Please cite these papers:
Alejandro Metke Jimenez and Michael John Lawley. Snorocket 2.0: Concrete Domains and Concurrent Classification. OWL Reasoner Evaluation Workshop (ORE 2103), Ulm, Germany, July 2013. To appear in CEUR Workshop Proceedings (http://ceur-ws.org) [PDF]
M.J. Lawley and C. Bousquet. Fast classification in Protégé: Snorocket as an OWL 2 EL reasoner. In T. Meyer, M.A. Orgun, and K. Taylor, editors, Australasian Ontology Workshop 2010 (AOW 2010): Advances in Ontologies, volume 122 of CRPIT, pages 45–50, Adelaide, Australia, 2010. ACS. Winner of Payne-Scott Best Paper Award. [PDF] [BiBTeX]
If you have any questions regarding the software or any problems downloading and installing please contact Dr Michael Lawley at firstname.lastname@example.org.
Note, maximum times have been assigned for classifiers that did not finish. Also, some input ontologies have been modified to conform to EL+. See here for details.