Algorithm Knowledge Graph Ontology

This vocabulary and grammar defines which types of objects are admissible to the MathAlgoDB - the algorithm knowledge graph - and by which properties they can relate. All in all five classes, "problem", "algorithm", "benchmark", "software", "publication", are defined, as well as a minimal but intuitively intelligible number of properties. As opposed to the more liberal WikiData, MathAlgoDB relies on the strict adherence to the ontology to provide a reliable machine-readable database of (numerical) algorithm knowledge. [from homepage]