Discipline:OWL DL RealisationOWL EL RealisationOWL DL ClassificationOWL EL ClassificationOWL DL ConsistencyOWL EL Consistency
Schedule: 10:20 - 17:20 (CEST)10:25 - 17:25 (CEST)10:35 - 17:35 (CEST)10:40 - 17:40 (CEST)15:55 - 18:55 (CEST)16:05 - 19:05 (CEST)

Discipline: OWL EL Consistency(finished)
Reasoner  ProgressScore Time 
ELK
250 / 2500566.5 s
Konclude
249 / 2501412.5 s
MORe
244 / 25061,470.7 s
Chainsaw
237 / 25013441.4 s
HermiT
236 / 25014607.1 s
FaCT++
234 / 25016502.2 s
jcel
228 / 250222,170.9 s
TReasoner
223 / 250272,371.7 s
ELepHant
212 / 25038142.7 s
JFact
168 / 250501,844.6 s
Discipline:
OWL DL Consistency
(finished)
Reasoner  ProgressScore Time 
Konclude
194 / 2006541.0 s
Chainsaw
186 / 20014521.7 s
HermiT
184 / 200161,055.3 s
FaCT++
176 / 200241,679.0 s
TReasoner
145 / 200551,398.1 s
MORe
143 / 200561,286.6 s
JFact
88 / 200821,248.8 s
Discipline: OWL EL Classification(finished)
Reasoner  ProgressScore Time 
Konclude
297 / 3003659.7 s
MORe
292 / 30082,112.8 s
ELK
284 / 300161,146.6 s
TrOWL
283 / 300172,477.9 s
HermiT
271 / 300293,743.2 s
FaCT++
241 / 300591,962.7 s
JFact
192 / 3001083,564.2 s
Chainsaw
147 / 3001311,559.0 s
jcel
114 / 30013485.6 s
ELepHant
62 / 300238164.8 s
TReasoner
22 / 30025489.4 s
Discipline: OWL DL Classification(finished)
Reasoner  ProgressScore Time 
Konclude
224 / 250261,098.2 s
HermiT
181 / 250693,863.3 s
MORe
178 / 250721,659.8 s
TrOWL
172 / 250782,318.2 s
FaCT++
147 / 250103943.7 s
JFact
102 / 250148640.3 s
Chainsaw
91 / 2501441,020.7 s
TReasoner
8 / 25024234.1 s
Discipline: OWL EL Realisation(finished)
Reasoner  ProgressScore Time 
Konclude
243 / 2507474.5 s
TrOWL
226 / 250241,339.2 s
FaCT++
221 / 25029522.4 s
JFact
178 / 250724,836.9 s
ELK
157 / 25093645.5 s
HermiT
121 / 2501291,044.9 s
Chainsaw
107 / 2501341,018.3 s
ELepHant
105 / 25014521.2 s
Discipline:
OWL DL Realisation
(finished)
Reasoner  ProgressScore Time 
Konclude
178 / 20022866.3 s
FaCT++
112 / 20088458.5 s
TrOWL
106 / 200941,126.7 s
HermiT
98 / 2001021,421.2 s
JFact
63 / 200137576.3 s
Chainsaw
49 / 200151707.4 s