Commit 4e5ef933 authored by Florian Rabe's avatar Florian Rabe
Browse files

no message

Merge branch 'master' of gl.kwarc.info:mathhub/data-proposal

# Conflicts:
#	Proposal/proposal.pdf
parents a659ee98 416cae42
......@@ -989,8 +989,8 @@
% \begin{macro}{\site*}
% \begin{macrocode}
%<*sty>
\newcommand\site[1]{\hyperlink{site@#1@target}{\wa@ref3{institution}{#1}{acronym}}}
\newcommand\sitename[1]{\hyperlink{site@#1@target}{\wa@ref3{institution}{#1}{name}}}
\newcommand\site[1]{\hyperlink{site@#1@target}{\textbf{\wa@ref3{institution}{#1}{acronym}}}}
\newcommand\sitename[1]{\hyperlink{site@#1@target}{\textbf{\wa@ref3{institution}{#1}{name}}}}
% \end{macrocode}
% \end{macro}
%
......
......@@ -112,8 +112,8 @@
{\end{prop@proposal}
\pdata@def{prop}{page}{last}{\thepage}\ofpagefalse%
\pdata@close}
\newcommand\site[1]{\hyperlink{site@#1@target}{\wa@ref3{institution}{#1}{acronym}}}
\newcommand\sitename[1]{\hyperlink{site@#1@target}{\wa@ref3{institution}{#1}{name}}}
\newcommand\site[1]{\hyperlink{site@#1@target}{\textbf{\wa@ref3{institution}{#1}{acronym}}}}
\newcommand\sitename[1]{\hyperlink{site@#1@target}{\textbf{\wa@ref3{institution}{#1}{name}}}}
\newcommand\objective@label[1]{O#1}
\define@key{obj}{id}{\def\obj@id{#1}\@dmp{id=#1}}
\define@key{obj}{title}{\def\obj@title{#1}}
......
......@@ -10,7 +10,7 @@ If operational capacity cannot be demonstrated at the time of submitting the pro
% PIC: 987013995
The European Mathematical Society EMS is a learned society representing mathematicians throughout Europe.
It promotes the development of all aspects of mathematics in Europe, in particular mathematical research, relations of mathematics to society, relations to European institutions, and mathematical education, as well ethical issues. EMS is committed to support open availability of mathematical data through its support of the Digital MATH Library DML, its involvement in ZbMath and the EMS Publishing House.
It promotes the development of all aspects of mathematics in Europe, in particular mathematical research, relations of mathematics to society, relations to European institutions, and mathematical education, as well ethical issues. EMS is committed to support open availability of mathematical data through its support of the Digital MATH Library DML, its involvement in zbMATH and the EMS Publishing House.
The EMS has as its members around 60 national mathematical societies in Europe, 40 mathematical research centres and departments, and 3000 individuals and it is owner of the European Mathematical Society Publishing House.
Within the FAIRMat project EMS will lead, in particular, the activities towards developing a sustainability plan, the dissemination activities, as well as the analysis and establish the legal basis for openly available mathematical data.
......
......@@ -32,7 +32,7 @@
\WAinstitution[id=CHA,
countryshort=SE,
acronym=Cha]
acronym=CHA]
{Chalmers University of Technology}
\WAperson[id=miko,
......
......@@ -105,11 +105,8 @@ This WP aims to create a linked dataset derived from relevant publication metada
are already available in linked data form and can be easily imported.
The zbMATH dataset also includes keywords, subject classifications, and
symbolic formulas that allow connecting
this metadata to mathematical objects in other datasets. For
mathematical software packages, there exist already metadata standards
developed within the FORCE11 group \cite{FORCE11SCWG}, as well as viable tools
to extract semantic software information from publications in a scalable
way to generate linked data. In the past, this approach has resulted in the swMATH service.
this metadata to mathematical objects in other datasets. For mathematical software packages, there are already metadata standards developed within the FORCE11 group \cite{FORCE11SCWG},
as well as viable tools to extract semantic software information from publications in a scalable way to generate linked data. In the past, this approach has resulted in the swMATH service.
However, a similar task for other mathematical research data is much
more difficult due to the vagueness of the data. It is impossible to
......@@ -133,9 +130,8 @@ dataset.
\begin{task}[id=wikidata,title=Linked Data from Wikidata,lead=FIZ,partners={FAU},PM=6,wphases={12-15,28-36!.66}]
Wikidata is the central storage for structured data used in Wikimedia
projects including Wikipedia and Wikimedia Commons. For example, Wikipedia
includes fact data from Wikidata to display language independent
facts, such as the number of inhabitants, on the page. Wikidata items
projects including Wikipedia and Wikimedia Commons. For example, Wikipedia includes factual data from Wikidata in order to display language independent facts,
such as the number of inhabitants of a town being viewed, on the page. Wikidata items
might contain external identifiers such as the zbMATH Work ID
(https://www.wikidata.org/wiki/Property:P894) to associate
non-Wikimedia information with Wikidata items, allowing for coordination with \localtaskref{zbmathdata}.
......@@ -150,10 +146,9 @@ A preliminary case study along these lines has already been conducted by
In a second step, we will manually verify and extend the alignments~\cite{MueGauKal:cacfms17} or
crowd-source this process.
\site{FIZ} will lead this task. \site{FIZ} recently hired Moritz
Schubotz, who has extensive experience with Wikidata and for instance,
introduced the data-type mathematical formul\ae to Wikidata \cite{MathQA}.
He will work on \TheProject.
\site{FIZ} will lead this task. \site{FIZ} personnel has extensive experience with Wikidata -- for instance,
introduced the data-type mathematical formul\ae{} to Wikidata \cite{MathQA}.
\site{FAU} will contribute expertise regarding alignments.
\end{task}
\end{tasklist}
......
......@@ -106,7 +106,7 @@ A wide variety of concrete datasets has been developed.
Typically, each one is maintained in a separate ad hoc database (like a text file with one entry per line) or SQL databases.
A living survey of such databases can be found in \cite{Bercic:cmo:wiki, bercic:cmo:table}.
At the time of writing, it contains about a hundred datasets, ranging from small (up to $100$ objects) to very large ($\approx 17\cdot10^9$ objects).
Similarly varied is the authorship: from one author producing several smaller datasets (Conder \cite{ConderCensuses:on}, Poto\v{c}nik \cite{PotocnikCensuses:on}, McKay \cite{McKayData:on}, Royle \cite{RoyleData:on}, Wanless \cite{WanlessData:on}), to FindStat \cite{findstat} ($69$ contributors), LMFDB \cite{lmfdb:on} ($100$ contributors) and the OEIS \cite{oeis} with thousands of contributors.
Similarly varied is the authorship: from one author producing several smaller datasets (Conder \cite{ConderCensuses:on}, Poto\v{c}nik \cite{PotocnikCensuses:on}, McKay \cite{McKayData:on}, Royle \cite{RoyleData:on}, Wanless \cite{WanlessData:on}), to FindStat \cite{findstat} ($69$ contributors), LMFDB \cite{lmfdb:on} ($100$ contributors) and the OEIS \cite{OEIS:on} with thousands of contributors.
The oldest such datasest is the online encyclopedia of integer sequences.
It is notable for collecting not only mathematical objects but also symbolic data for their semantics (such as defining equations and generating functions).
......
No preview for this file type
No preview for this file type
No preview for this file type
......@@ -22,25 +22,25 @@ It will contribute to a new generation of researchers that consider Open Science
\end{compactenum}
}
We describe how \TheProject contributes to each expected impact listed in the work programme.
We describe how \TheProject contributes to each of the three expected impacts listed in the work programme.
\paragraph{Expected Impact: Integrating research and service development}
As most mathematical services are written by the mathematical community, \inparahighlight{mathematicians are already co-designing research and services in current practice}.
The expected impact of the \pn project is that we provide the infrastructure and in some cases funding to make that easier and make the results more sustainable.
The expected impact of the \pn project is that we provide the infrastructure and in some cases funding to make that easier and make the results more accessible, findable, interoperable, and sustainable.
By providing clients for widely used research systems (see \taskref{services}{I} and \taskref{services}{modelicaservice}), \inparahighlight{we make it substantially easier and cheaper for service developers to combine their implementation work with their traditional research}.
\smallskip
\noindent\textbf{KPIs}: To test this expectation, we will brief the participants of the ``Summer of Math Data'' events (see \taskref{dissem}{outreachul}) to keep track of their development investments and outcomes in terms of data and service features.
\noindent\textbf{KPIs}: To test this expectation, we will brief the participants of the ``Summer of Math Data'' development workshops (see \taskref{dissem}{outreachul}) to keep track of their development investments and the outcomes achieved in terms of data and service features.
We will evaluate these tallies and conduct interviews with the participants of the events about how much time they save by using our user-oriented services as a basis for their extensions.
We expect that, even though the \pn framework will still be in prototypical state at the time of these two ``summers'', the participants will already break even early on and will, during the project run time, see substantial savings of time and effort while improving their services.
\paragraph{Expected Impact: Supporting the objectives of Open Science}
\inparahighlight{The \pn project was specifically conceived in order to support Open Science in the mathematical sciences}, and its objectives directly feed into the objectives of Open Science.
\inparahighlight{The \pn project was specifically conceived to support Open Science in the mathematical sciences}, and its objectives directly feed into the objectives of Open Science.
In particular, \TheProject develops the foundations of FAIR Mathematics, implements a service infrastructure for Open Data in mathematical sciences, and evaluates it on a representative family of datasets and services.
Thus, it enables enable scientific and industrial applications by \inparahighlight{enabling users to openly access/search/reuse/interoperate with mathematical data from all scientific disciplines and sectors}.
For a concrete example of the value of Open Science in mathematics, consider the Fibonacci sequence (given by the recurrence equation $f(n)=f(n-1)+f(n-2)$): while it was originally of mathematical interest to describe the (idealized) reproduction of rabbits, it was soon discovered that this sequence governs the number of petals in certain kinds of flowers and is connected with the meters of traditional Indian poetry.
It is one of about 300.000 sequences collected in the Online Encyclopedia of Integer sequences (OEIS)~\cite{oeis,Sloane:OEIS}, and transdisciplinary interpretations of OEIS sequences abound but are non-obvious to find systematically.
It is one of about 325.000 sequences collected in the Online Encyclopedia of Integer sequences (OEIS)~\cite{OEIS:on,Sloane:OEIS}, and transdisciplinary interpretations of OEIS sequences abound but are non-obvious to find systematically.
The \pn project will integrate the OEIS and similar datasets into the EOSC and thus support the systematic cross-linking to other sciences.
\smallskip
......
......@@ -18,28 +18,28 @@ following timeline:
- [x] This timeline
### Monday 14. 1. 2019
- [ ] Consortium stable
- [ ] EU Submission tool initialized
- [ ] first draft of proposal + writing/commet requests for partners
- [x] Consortium stable
- [x] EU Submission tool initialized
- [x] first draft of proposal + writing/commet requests for partners
### Friday 18. 1. 2019
- [ ] Partners submit CVs, Site Descriptions, joint activities list
- [ ] Partners submit salary rates, overhead models, ...
- [ ] Workplan tasks stable.
- [x] Partners submit CVs, Site Descriptions, joint activities list
- [x] Partners submit salary rates, overhead models, ...
- [x] Workplan tasks stable.
### Monday 21. 1. 2019
- [ ] first draft efforts/work phases (Gantt)
- [ ] first draft overall finances
- [x] first draft efforts/work phases (Gantt)
- [x] first draft overall finances
### Friday 25. 1. 2019
- [ ] finances finalized
- [ ] feature-complete draft of the proposal
- [x] finances finalized
- [x] feature-complete draft of the proposal
### Monday 28. 1. 2019
- [ ] polished draft of the proposal.
- [ ] Finances and admin submitted in submission tool
- [ ] safety submission
- [ ] final communal proofreading (style, typos, ... )
- [x] polished draft of the proposal.
- [x] Finances and admin submitted in submission tool
- [x] safety submission
- [x] final communal proofreading (style, typos, ... )
### Tuesday 29.1. 2019
- [ ] Submission deadline at 17:00 Brussels time
......@@ -12,6 +12,8 @@
@MISC{OMDocWeb,crossref = {OMDoc:URL}}
@InProceedings{KMR:NoLMD08-short,crossref={KMR:NoLMD08}}
@Online{oeis,crossref={OEIS:on},label={OEIS}}
@ARTICLE{sloane:oies,crossref={Sloane:OEIS}}
@MISC{plato:web,crossref={plato:base},
key = {plato},
......
......@@ -35513,8 +35513,7 @@ address = {Chiang Mai},
howpublished = "\url{http://neilsloane.com/doc/eger.pdf}",
}
 
@Online{OEIS:on,crossref={oeis},label={OEIS}}
@Online{oeis,
@Online{OEIS:on,
label = {OEIS},
title = {The On-Line Encyclopedia of Integer Sequences},
url = {http://oeis.org},
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment