Wikidata:Property proposal/OpenMath ID
OpenMath ID
[edit]Originally proposed at Wikidata:Property proposal/Natural science
| 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)
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)
- @ديفيد عادل وهبة خليل 2: Thanks for the suggestion. Done --Physikerwelt (talk) 09:03, 1 August 2018 (UTC)
Support David (talk) 09:06, 1 August 2018 (UTC)
- @ديفيد عادل وهبة خليل 2: Thanks for the suggestion. Done --Physikerwelt (talk) 09:03, 1 August 2018 (UTC)
- 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)
- 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)- @@Pigsonthewing: thanks. I updated the proposal to use
#as a separator.--Physikerwelt (talk) 04:45, 3 August 2018 (UTC)
- @@Pigsonthewing: thanks. I updated the proposal to use
- Support--Andreg-p (talk) 08:30, 3 August 2018 (UTC)
- Support--PhilMINT (talk) 17:20, 3 August 2018 (UTC)
- @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) - @ArthurPSmith: thank you so much. --Physikerwelt (talk) 05:41, 10 August 2018 (UTC)