Results of the ORE 2013 OWL reasoner competition.