Use more/another reasoner for consistency checks

[yum-yab]

Currently only the pellet reasoner is used for checking the consistency of an ontology for the 4th Archivo Star.

But unfortunately Pellet has some performance issues e.g for https://archivo.dbpedia.org/info?o=http://purl.obolibrary.org/obo/envo.owl. By checking the consistency with more/a better reasoner this issue could be prevented. This would also cover the purpose of the Star (checking the compliance with common reasoners) better.

[matentzn]

It is incomplete, but for most purposes (that's what we use for the OBO Dashboard ELK is sufficient. ELK 0.5 if you managed to get it to work even more so.

For more OWL 2 DL style reasoning you could try using Konclude, which is the fastest.