MaRDI Task Area 2 - Scientific Computing @ University of Münster. MathAlgoDB - Algorithm Knowledge Graph - Ontology (Version 0.1). MaRDI (Mathematical Research Data Initiative), 2022. https://mardi4nfdi.de/mathalgodb/0.1
Christian Himpe (https://orcid.org/0000-0003-2194-6754)
Frank Wübbeling (https://orcid.org/0000-0002-2375-2008)
Hendrik Kleikamp (https://orcid.org/0000-0003-1264-5941)
René Fritze (https://orcid.org/0000-0002-9548-2238)
Stephan Rave (https://orcid.org/0000-0003-0439-7212)
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.
Algorithm Knowledge Graph Ontology
Draft
mathalgodb
https://mardi4nfdi.de/mathalgodb/0.1#
0.1
is analyzed in
60
analyzes
60
is applied in
80
applies
80
is component of
40
is documented in
120
documents
120
has component
40
has subclass
20
is implemented by
100
implements
100
is instance of
100
instantiates
100
is invented in
50
invents
50
is related to
30
is surveyed in
90
surveys
90
is solved by
10
solves
10
specializedBy
5
specializes
5
is studied in
70
studies
70
is subclass of
20
is tested by
110
tests
110
is used in
130
uses
has identifier
0
has category
The main building blocks of the graph are algorithms. Here you can take a look at all algorithms documented in the graph.
Algorithm
10
All allgodata objects
For testing, evaluating and comparing numerical algorithms, so called benchmark problems are often useful.
Benchmark
40
Identifiable
When interested in algorithms solving a certain problem at hand, we here provide an overview of all problems defined in the graph.
Problem
30
An engineering challenge that includes a mathematical part
To find theoretical or numerical results on the performance of algorithms, take a look at the related publications in this list.
Publication
100
Realization
Union of all MathAlgoDB-Classes that *may* have a unique identifier.
This table contains software packages that implement some of the algorithms from the graph.
Software
20