Skip to main content

Three awards for Oxford projects recieved at The OWL Reasoner Evaluation Workshop

Posted:

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/