Awards
Konclude has won the following awards:
OWL Reasoner Evaluation Competition 2015 (ORE 2015)
- 1st price for the OWL DL Classification discipline
- 1st price for the OWL DL Realisation discipline
- 1st price for the OWL DL Consistency discipline
- 1st price for the OWL EL Realisation discipline
FLoC Olympic Games 2014
Since Konclude has won 5 out of 6 disciplines at the OWL Reasoner Evaluation Competition 2014 (ORE 2014), which was part of the FLoC Olympic Games, Konclude was awarded a Kurt Gödel Society medal.
OWL Reasoner Evaluation Competition 2014 (ORE 2014)
- 1st price for the OWL DL Classification discipline
- 1st price for the OWL DL Realisation discipline
- 1st price for the OWL DL Consistency discipline
- 1st price for the OWL EL Classification discipline
- 1st price for the OWL EL Realisation discipline
OWL Reasoner Evaluation Competition 2013 (ORE 2013)
- 1st price for the Consistency DL category
- 1st price for the Satisfiability DL category
- 1st price for the Consistency RL category
