Posted: 29th July 2013

MORe, HermiT and ELK, three OWL reasoning systems developed in the Knowledge Representation and Reasoning (KRR) group, have given awards at  the OWL Reasoner Evaluation Workshop (ORE 2013).  

OWL - or the Web Ontology Language to give it its full title -  is a family of knowledge representation languages for authoring ontologies.

The MORe reasoner has been awarded as the most robust reasoner for the class satisfiability of OWL 2 RL ontologies and as the best newcomer OWL reasoner. Additionally it has been one of the top-3 reasoners for the classification and class satisfiability of OWL 2 (DL) and OWL 2 EL ontologies.

The HermiT reasoner has been awarded as the most robust reasoner for the classification of OWL 2 (DL) ontologies. Additionally it has been one of the top-3 reasoners for the consistency and class satisfiability of OWL 2 EL and OWL 2 RL ontologies.

The ELK reasoner has been awarded as the most robust reasoner for the classification and consistency of OWL 2 EL ontologies.

Further information: http://ore2013.cs.manchester.ac.uk/competition/results/.