On the MaRDI portal, the property MaRDI profile type (P1460) and several flavours of MaRDI profile type (Q5976451) are in use to facilitate exploration of the data contained in the underlying knowledge graph.
These types are:
- MaRDI person profile (Q5976445), mediated by Template:Person. Example: Michael Joswig (Q161115).
- MaRDI publication profile (Q5976449), mediated by Template:Publication. Example: Real Tropical Hyperfaces by Patchworking in polymake (Q5039573).
- MaRDI software profile (Q5976450), mediated by Template:Software. Example: coffee (Q122438).
- MaRDI formula profile (Q5981696), mediated by Template:Formula. Example: Definition: Binomial Coefficients.
- MaRDI dataset profile (Q5984635), mediated by Template:Dataset. Example: Precipitation dataset.
- MaRDI community profile (Q6205095), mediated by Template:Community. Example: Math+ Community.
Individual items in the graph can then be annotated as to which MaRDI profile type they should be combined with, as demoed here.
Add a new profile type
- Create template (Tim)
- Create profile item (Eloi / Daniel)
- Add namespace
- Adjust config in LocalSettings
$wgMathProfileQIdMap['namespace']='profileItem'; // examples $wgMathProfileQIdMap['person']='Q5976445'; $wgMathProfileQIdMap['software']='Q5976450';
- Add SPARQL query if necessary, also in LocalSettings
$wgMathProfileQueries['namespace']='query'; // example $wgMathProfileQueries['dataset']='?item wdt:P1460 wd:Q5984635';
- Trigger manual rerun of page creation (for now)
mardi-test-user@mardi02:~/portal-compose$ docker compose exec -T wikibase /var/www/html/maintenance/run /var/www/html/extensions/MathSearch/maintenance/ProfilePages create <namespace>
To do
Create new profile types
- Profile types for
- journals
- ticket
- potential starting point: Journal of Statistical Software (Q57539)
- datasets
- events
- theorems
- conjectures
- lemmas
- proofs
- topics
- perhaps separately for
- zbMATH
- MSC
- arXiv
- perhaps separately for
- journals
- external knowledge graphs
Modify existing profile types
- dataset
- Add a URL pointing to the dataset
Improve documentation
This refers to the profile-specific templates and modules as well as to help pages.
- All profile types