Results



Slides with the final presentation and the results for each category.

Classification DL

  1. HermiT
  2. MORe-Pellet and MORe-HermiT
  3. Konclude

Consistency DL

  1. Konclude
  2. FaCT++
  3. Chainsaw

Satisfiability DL

  1. Konclude
  2. MORe-Pellet and MORe-HermiT
  3. TReasoner

Classification EL

  1. ELK
  2. WSClassifier
  3. MORe-HermiT

Consistency EL

  1. ELK
  2. HermiT
  3. Konclude

Satisfiability EL

  1. Chainsaw
  2. MORe-Pellet
  3. Snorocket

Classification RL

  1. TReasoner
  2. Konclude
  3. TrOWL

Consistency RL

  1. Konclude
  2. HermiT
  3. Chainsaw

Satisfiability RL

  1. MORe-HermiT and MORe-Pellet
  2. Konclude
  3. HermiT

Live competition

  • EL Classification: ELK
  • DL Classification: WSClassifier

Best newcomer

  • MORe