Snorocket 2.0: Concrete Domains and Concurrent Classification.
Alejandro Metke‐Jimenez, Michael Lawley · 2013
Snorocket is a high-performance ontology reasoner that supports a subset of the OWL EL profile. In the newest version, additional expressive power has been added to support concrete domains, enabling the classification of ontologies that use these constructs. Also, the reasoning algorithm has been modified to support concurrent classification. This feature is important because it enables the use of the full processing power available in modern multi-processor hardware.