6 ms·

Applying semantic web technologies to mathematics sounds interesting, but this project otherwise is mysterious to me. It would be much appreciated if someone wo

Applying semantic web technologies to mathematics sounds interesting, but this project otherwise is mysterious to me. It would be much appreciated if someone would describe what this is, what purposes it is designed to serve, what its scope of knowledge is and for what audience (e.g., all mathematics? for graduate-level users?). Is it ready to use or an experiment, and what tools do I need to utilize it? (Some background on the web of data would be interesting too.) Perhaps I'm overlooking the obvious or I'm just uninformed in this particular area.

nzhiltsov 12y ago
All right, I think we shall answer all these fair questions on the website. For motivation, please feel free to peruse our research papers that are publicly available from the website. As we note, [1-2] addresses to the Semantic Web community, [3] explains in terms that are likely close to mathematicians.
nzhiltsov 12y ago
Concerning scope, we focus on professional-level mathematics (Pro suffix emphasizes that). It is ready to use, and we describe a formula search mashup (https://github.com/CLLKazan/MathSearch https://github.com/CLLKazan/MathSearch) built atop of the ontology. On GitHub, you may find references to a published RDF dataset, which was extracted automatically from a test collection of our university's math journal. However, I should warn that the ontology is a mature, but ongoing work (and it is meant to be, frankly speaking, since we follow the crowdsourcing methodology), and the quality of labels (especially, English) or coverage of fields of mathematics should be constantly improved.
nzhiltsov 12y ago
For now, we measure coverage on our test collection of scholarly papers from our university's journal, and it is sufficient only for it. However, there are concepts from the following fields of mathematics: geometry (pretty advanced, believe me), analysis, number theory, set theory, algebra, logics, discrete mathematics, differential equations, numerical analysis, theory of computation, probability theory and statistics.
nzhiltsov 12y ago
About tools, in case you've missed it on the website, we suggest using Protege as a visualization tool and an ontology editor. Indeed, we suffer from the absence of a web UI that visualizes the ontology neatly. But this is due to the lack of such tools for any large RDF graphs.

nzhiltsov 12y ago

All right, I think we shall answer all these fair questions on the website. For motivation, please feel free to peruse our research papers that are publicly available from the website. As we note, [1-2] addresses to the Semantic Web community, [3] explains in terms that are likely close to mathematicians.

nzhiltsov 12y ago

Concerning scope, we focus on professional-level mathematics (Pro suffix emphasizes that). It is ready to use, and we describe a formula search mashup (https://github.com/CLLKazan/MathSearch https://github.com/CLLKazan/MathSearch) built atop of the ontology. On GitHub, you may find references to a published RDF dataset, which was extracted automatically from a test collection of our university's math journal. However, I should warn that the ontology is a mature, but ongoing work (and it is meant to be, frankly speaking, since we follow the crowdsourcing methodology), and the quality of labels (especially, English) or coverage of fields of mathematics should be constantly improved.

nzhiltsov 12y ago

For now, we measure coverage on our test collection of scholarly papers from our university's journal, and it is sufficient only for it. However, there are concepts from the following fields of mathematics: geometry (pretty advanced, believe me), analysis, number theory, set theory, algebra, logics, discrete mathematics, differential equations, numerical analysis, theory of computation, probability theory and statistics.

nzhiltsov 12y ago

About tools, in case you've missed it on the website, we suggest using Protege as a visualization tool and an ontology editor. Indeed, we suffer from the absence of a web UI that visualizes the ontology neatly. But this is due to the lack of such tools for any large RDF graphs.