diff --git a/Proposal/concept.tex b/Proposal/concept.tex index 0cd7f43352c03c42c48c7d240f507628ce53ec3e..f1cc62a650fa154a84b8b33b79391fd9e399e4b0 100644 --- a/Proposal/concept.tex +++ b/Proposal/concept.tex @@ -85,7 +85,7 @@ The proposers have developed or been involved with multiple leading candidates f %What we need is a deep FAIR mathematical interoperability framework which takes ``semantic referencing'' of mathematical objects seriously and builds differing, but equivalent, representation approaches into the system at the core. %OpenMath and content MathML go the first step towards this by ``semantically referencing'' a concept via its name and a pointer to the content dictionary that defines it, but lack a system of interpretations (crosswalks) between content dictionaries. %Humans use such crosswalks all the time e.g. for coordinate transformations or unit changes. -%Such representation formalisms with first-class interpretations have been pioneered by the proposers (and practically developed as the ``Math-in-the-Middle framework'' in the OpenDreamKit project), but have to be adapted to mathematical data and scaled to EOSC levels, and standardized for deep FAIRness. +%Such representation formalisms with first-class interpretations have been pioneered by the proposers (and practically developed as the ``Mth-in-the-Middle framework'' in the OpenDreamKit project), but have to be adapted to mathematical data and scaled to EOSC levels, and standardized for deep FAIRness. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \paragraph{Kinds of mathematical data}