Wikidata:Property proposal/OpenMath ID

From Wikidata
Jump to navigation Jump to search

OpenMath ID[edit]

Originally proposed at Wikidata:Property proposal/Natural science

   Done. OpenMath ID (P5610) (Talk and documentation)
DescriptionOpenMath content dictionary symbol
RepresentsOpenMath (Q1465300)
Data typeExternal identifier
DomainMathematical concepts
Allowed valuesAny valid symbol from one of the official OpenMath content dictionaries in the form of CDName:Symbol https://www.openmath.org/standard/
Example 1absolute value (Q120812)arith1#abs
Example 2division (Q1226939)arith1#divide
Example 3greatest common divisor (Q131752)arith1#gcd
Example 4hyperbolic cosine (Q1253682)transc1#cosh
Planned uselink structured mathml formulae with wikidata items
Number of IDs in source1573
Formatter URLhttps://www.openmath.org/cd/$1

Motivation[edit]

I am advocating to use Wikidata items as pseudo OpenMath content dictionary. The downside of doing so is that one could use either the arith1#abs or absolute value (Q120812) to refer to the same concept. To avoid that, a mapping of the standard content dictionaries to wikidata items can be done. Technically a this allows to create a CD base (see cdgroup attribute of the MathML standard https://www.w3.org/TR/MathML3/chapter2.html#interf.toplevel.atts) that references to the wikidata items, rather to the OpenMath definitions, which are static, monolingual and do not provide a lot of help in understanding the meaning of the mathematical concept.Physikerwelt (talk) 20:02, 31 July 2018 (UTC)

Opensofias
Tobias1984
Micru
Arthur Rubin
Cuvwb
TomT0m
Tylas
Physikerwelt
Lymantria
Bigbossfarin
Infovarius
Helder
PhilMINT
Malore
Pictogram voting comment.svg Notified participants of WikiProject Mathematics

See https://github.com/ag-gipp/MathMLben/blob/master/doc/openMathSymbols.csv for more examples.

Discussion[edit]