Schlussfolgerungstools, sogenannte Reasoner, leiten implizite Konsequenzen aus formalen Wissensquellen (Ontologien) ab und erleichtern so die Arbeit mit großen Datenmengen, z.B. in der Erstellung von Taxonomien in der Medizin. In der OWL Reasoner Evaluation (ORE) Live Competition 2015 traten 14 Reasoner in 6 verschiedenen Disziplinen gegeneinander an. Der Wettbewerb fand am 9. Juni in Athen während des International Workshops on Description Logics statt. Dabei konnten Systeme des 
Instituts für Künstliche Intelligenz aus Ulm wie bereits im Vorjahr alle sechs Kategorien gewinnen: Konclude entwickelt von Andreas Steigmiller, Birte Glimm und Thorsten Liebig (derivo GmbH), sowie ELK, entwickelt von Yevgeny Kazakov, Pavel Klinov, Markus Krötzsch (TU Dresden) und František Simančík (Google Inc.).
Schlussfolgerungssysteme aus Ulm gewinnen wieder alle Kategorien der diesjährigen OWL Reasoner Evaluation
Universität Ulm Universität Ulm