Reasoning Systems from Ulm Again Win all Categories of the OWL Reasoner Evaluation Competition

Ulm University

 Reasoners derive implicit consequences from formally specified knowledge sources in the form of ontologies. This facilitates working with large data sources, e.g., for building and maintaining taxonomies in medicine. Fourteen systems competed in the OWL Reasoner Evaluation (ORE) Live Competition 2015 in 6 different disciplines. The competition took place on June 9th in Athens during the International Workshop on Description Logics. Systems of the Institute of Artificial Intelligence in Ulm could, as in the previous year, win all six categories: Konclude developed by Andreas Steigmiller, Birte Glimm and Thorsten Liebig (derivo GmbH), as well as ELK, developed by Yevgeny Kazakov, Pavel Klinov (Complexible Inc), Markus Krötzsch (TU Dresden) und František Simančík (Google Inc).