Hacker News Reader

Comment by hackuser | Hacker News Reader

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.

View on HN

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) 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.

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.

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.

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.

Reply on news.ycombinator.com