A curated, ontology-based, large-scale knowledge graph of artificial intelligence tasks and benchmarks