Wikidata:Property proposal/OpenMath ID

OpenMath ID edit

Originally proposed at Wikidata:Property proposal/Natural science

Done: OpenMath ID (P5610) (Talk and documentation)

Description	OpenMath content dictionary symbol
Represents	OpenMath (Q1465300)
Data type	External identifier
Domain	Mathematical concepts
Allowed values	Any valid symbol from one of the official OpenMath content dictionaries in the form of CDName:Symbol https://www.openmath.org/standard/
Example 1	absolute value (Q120812) → arith1#abs
Example 2	division (Q1226939) → arith1#divide
Example 3	greatest common divisor (Q131752) → arith1#gcd
Example 4	hyperbolic cosine (Q1253682) → transc1#cosh
Planned use	link structured mathml formulae with wikidata items
Number of IDs in source	1573
Formatter URL	https://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)[reply]

Notified participants of WikiProject Mathematics

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

Discussion edit

@Physikerwelt:Please make the examples links. Thank you --David (talk) 08:43, 1 August 2018 (UTC)[reply]
- @ديفيد عادل وهبة خليل 2: Thanks for the suggestion. Done --Physikerwelt (talk) 09:03, 1 August 2018 (UTC)[reply]
  - Support David (talk) 09:06, 1 August 2018 (UTC)[reply]
Comment @Physikerwelt: Our formatter URL's do not allow a "$2" for multiple parts of an ID. However if this is definitely the ID format that should be used, I can set up a redirect service that will fix these, once this is approved, as we have done for similar properties like ISNI in the past. ArthurPSmith (talk) 20:27, 1 August 2018 (UTC)[reply]
Comment The URLs in the examples can be simplified. For example, https://www.openmath.org/cd/arith1.html#abs can be rewritten as https://www.openmath.org/cd/arith1#abs giving an ID of arith1#abs. That said, perhaps we could ask the OM project to mint unique URLs, without fragments, for each term? Andy Mabbett (Pigsonthewing); Talk to Andy; Andy's edits 17:53, 2 August 2018 (UTC)[reply]
- @@Pigsonthewing: thanks. I updated the proposal to use # as a separator.--Physikerwelt (talk) 04:45, 3 August 2018 (UTC)[reply]
Support--Andreg-p (talk) 08:30, 3 August 2018 (UTC)[reply]
Support--PhilMINT (talk) 17:20, 3 August 2018 (UTC)[reply]
@Physikerwelt, ديفيد عادل وهبة خليل 2, Pigsonthewing, Andreg-p, PhilMINT: Done - However, I had to run the formatter URL through our redirect service anyway because wikidata urlencodes the '#' character in the ID's - hope this is ok. ArthurPSmith (talk) 19:01, 9 August 2018 (UTC)[reply]
@ArthurPSmith: thank you so much. --Physikerwelt (talk) 05:41, 10 August 2018 (UTC)[reply]