Snorocket
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.
Snorocket supports the Description Logic EL+ and is capable of classifying SNOMED CT in less than 1 minute; some performance measures are shown in Figures 1 and 2.
Please cite this paper:
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]
Download
| Protégé 4.1 using OWL API (v3) | snorocket-owlapi3 version 1.3.4.alpha4 | - 21 Apr 2011 |
| Protégé 4.0 | snorocket-protege version 1.3.4 | - 22 Dec 2010 |
Changes
1.3.4- Fixed bug when performing incremental classification.
- Fixed obscure bug that may have caused incorrect results.
- Fixed support for property paths
Benchmarking Snorocket via OWL API 3
Snorocket can be run independently of Protégé using the OWL API (v3) for benchmarking purposes. Sample code doing this is available here.Contact
If you have any questions regarding the software or any problems downloading and installing please contact Dr Michael Lawley at michael.lawley@csiro.au.
Figure 1. Absolute speed comparisons (logarithmic scale)
Figure 2. Relative speed comparisons (logarithmic scale)
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.
