R2O2: An Efficient Ranking-Based Reasoner for OWL Ontologies

Companion Page

Yong-Bin Kang, Shonali Krishnaswamy, and Yuan-Fang Li


This is the companion web page for our paper titled "R2O2: An Efficient Ranking-Based Reasoner for OWL Ontologies" accepted at ISWC 2015. If you have any questions regarding the research work or software, please feel free to contact me.

The Ontologies

The ontologies we used in this paper are collected from the ORE 2014 reasoner competition. There are a total of 16,555 ontologies, and we selected 25% randomly. In total 4,138 ontologies were used in the paper.


The metric values of these ontologies can be found in subset1.csv.

The reasoners

The performance of 6 OWL 2 DL reasoners, which participated in the ORE 2014 reasoner competition, were evaluated in our paper: FaCT++, HermiT, JFact, Konclude, MORe, and TrOWL.

Reasoner performance

Reasoner performance of the task of ontology classification was measured, and the wall time of each reasoner is recorded. The following csv files record the metric values and runtime for all the ontologies and for all the 6 reasoners.

Note that a 3,600-second (one hour) cut-off time was applied on all reasoners.

Meta reasoner R2O2

We employed 10-fold cross validation to assess the performance of R2O2, where two versions of R2O2 were evalated: with and without TrOWL.

The zip file contains two sets of the data we used in our evaluation. Once extracted, there will be two directories:

In each of the 10 folds, the following data is provided: