The CaLiGraph Ontology as a Challenge for OWL Reasoners