Snorocket 2.0: Concrete Domains and Concurrent Classification

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.

[1]  Boris Motik,et al.  Hypertableau Reasoning for Description Logics , 2009, J. Artif. Intell. Res..

[2]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[3]  Ian Horrocks,et al.  Tractable Extensions of the Description Logic EL with Numerical Datatypes , 2010, IJCAR.

[4]  Julian Mendez,et al.  jcel: A Modular Rule-based Reasoner , 2012, ORE.

[5]  Markus Krötzsch,et al.  Concurrent Classification of EL Ontologies , 2011, International Semantic Web Conference.

[6]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[7]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

[8]  Franz Baader,et al.  Efficient Reasoning in EL+ , 2006, Description Logics.

[9]  Markus Krötzsch,et al.  ELK Reasoner: Architecture and Evaluation , 2012, ORE.