Skip to main content
SpringerLink
Log in

OntoMath PRO Ontology: A Linked Data Hub for Mathematics

  • Conference paper
Knowledge Engineering and the Semantic Web (KESW 2014)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 468))

Included in the following conference series:

Abstract

In this paper, we present an ontology of mathematical knowledge concepts that covers a wide range of the fields of mathematics and introduces a balanced representation between comprehensive and sensible models. We demonstrate the applications of this representation in information extraction, semantic search, and education. We argue that the ontology can be a core of future integration of math-aware data sets in the Web of Data and, therefore, provide mappings onto relevant datasets, such as DBpedia and ScienceWISE.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aberer, K., Boyarsky, A., Cudr-Mauroux, P., Demartini, G., Ruchayskiy, O.: ScienceWISE: A Web-based Interactive Semantic Platform for Scientific Collaboration. In: 10th International Semantic Web Conference, (ISWC 2011 - Demo) (2011)

    Google Scholar 

  2. Auer, S., Bizer, C., Kobilarov, G., Lehmann, J., Cyganiak, R., Ives, Z.G.: Dbpedia: A Nucleus for a Web of Open Data. In: Aberer, K., et al. (eds.) ISWC/ASWC 2007. LNCS, vol. 4825, pp. 722–735. Springer, Heidelberg (2007)

    Google Scholar 

  3. Carlisle, D., Ion, P., Miner, R. (eds.): Mathematical Markup Language (MathML) Version 3.0.2 W3C Recommendation of 10 April 2014. World Wide Web Consortium (2010)

    Google Scholar 

  4. Barendregt, H., Wiedijk, F.: The Challenge of Computer Mathematics. Philosophical Transactions of the Royal Society A: Mathematical. Physical and Engineering Sciences 363(1835), 2351–2375 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  5. Barrows, H.S.: A Taxonomy of Problembased Learning Methods. Medical Education 20(6), 481–486 (1986)

    Article  Google Scholar 

  6. Berners-Lee, T.: Linked Data – Design Issues (2006), http://www.w3.org/DesignIssues/LinkedData.html

  7. Biryaltsev, E.V., Elizarov, A.M., Zhiltsov, N.G., Lipachev, E.K., Nevzorova, O.A., Solovyev, V.D.: Methods for analyzing semantic data of electronic collections in mathematics. Automatic Documentation and Mathematical Linguistics 48(2), 81–85 (2014)

    Article  Google Scholar 

  8. Bizer, C., Heath, T., Berners-Lee, T.: Linked Data – The Story So Far. International Journal on Semantic Web and Information Systems 5(3), 1–22 (2009)

    Article  Google Scholar 

  9. Bordes, A., Usunier, N., García-Durán, A., Weston, J., Yakhnenko, O.: Translating Embeddings for Modeling Multi-relational Data. In: Advances in Neural Information Processing Systems, pp. 2787–2795 (2013)

    Google Scholar 

  10. Buswell, S., Caprotti, O., Carlisle, D.P., Dewar, M.C., Gaëtano, M., Kohlhase, M.: The Open Math Standard. Version 2.0. Technical report, The Open Math Society (2004), http://www.openmath.org/standard/om20

  11. David, C., Kohlhase, M., Lange, C., Rabe, F., Zhiltsov, N., Zholudev, V.: Publishing Math Lecture Notes as Linked Data. In: Aroyo, L., Antoniou, G., Hyvönen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010, Part II. LNCS, vol. 6089, pp. 370–375. Springer, Heidelberg (2010)

    Google Scholar 

  12. Dobrov, B., Loukachevitch, N.: Development of Linguistic Ontology on Natural Sciences and Technology. In: Proceedings of Linguistic Resources and Evaluation Conference, pp. 1077–1082 (2006)

    Google Scholar 

  13. Doerr, M.: The CIDOC conceptual reference module: an ontological approach to semantic interoperability of metadata. AI Magazine 24(3), 75–92 (2003)

    MathSciNet  Google Scholar 

  14. Elizarov, A.M., Lipachev, E.L., Malakhaltsev, M.A.: Web Technologies for Mathematicians: The Basics of MathML. A Practical Guide. Fizmatlit, Moscow (2010) (in Russian)

    Google Scholar 

  15. Gruber, T., Olsen, G.: An Ontology for Engineering Mathematics. In: Principles of Knowledge Representation and Reasoning, pp. 258–269 (1994)

    Google Scholar 

  16. Kamareddine, F., Wells, J.B.: Computerizing Mathematical Text with MathLang. Electronic Notes in Theoretical Computer Science 205, 5–30 (2008)

    Article  MathSciNet  Google Scholar 

  17. Kohlhase, M.: OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006)

    Book  Google Scholar 

  18. Lange, C.: Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration. Studies on the Semantic Web, vol. 11, pp. 1–592. IOS Press (2011)

    Google Scholar 

  19. Lange, C.: Ontologies and Languages for Representing Mathematical Knowledge on the Semantic Web. Semantic Web 4(2), 119–158 (2013)

    Google Scholar 

  20. Lange, C., Ion, P., Dimou, A., Bratsas, C., Sperber, W., Kohlhase, M., Antoniou, I.: Bringing Mathematics to the Web of Data: The Case of the Mathematics Subject Classification. In: Simperl, E., Cimiano, P., Polleres, A., Corcho, O., Presutti, V. (eds.) ESWC 2012. LNCS, vol. 7295, pp. 763–777. Springer, Heidelberg (2012)

    Google Scholar 

  21. Nevzorova, O.A., Birialtcev, E.V., Zhiltsov, N.G.: Mathematical text collections: Annotation and Application for Search Tasks. Scientific and Technical Information Processing 40(6), 386–395 (2013)

    Article  Google Scholar 

  22. Nevzorova, O., Zhiltsov, N., Zaikin, D., Zhibrik, O., Kirillovich, A., Nevzorov, V., Birialtsev, E.: Bringing Math to LOD: A Semantic Publishing Platform Prototype for Scientific Collections in Mathematics. In: Alani, H., et al. (eds.) ISWC 2013, Part I. LNCS, vol. 8218, pp. 379–394. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  23. Nickel, M., Tresp, V., Kriegel, H.P.: A Three-way Model for Collective Learning on Multi-relational Data. In: 28th International Conference on Machine Learning, pp. 809–816 (2011)

    Google Scholar 

  24. Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A Practical OWL-DL Reasoner. J. Web Sem. 5(2), 51–53 (2007)

    Article  Google Scholar 

  25. Sloane, N.: The On-line Encyclopedia of integer sequences. Notices of the AMS 50(8), 912 (2003)

    MATH  MathSciNet  Google Scholar 

  26. Solovyev, V., Zhiltsov, N.: Logical Structure Analysis of Scientific Publications in Mathematics. In: The International Conference on Web Intelligence, Mining and Semantics, pp. 21:1–21:9 (2011)

    Google Scholar 

  27. Springer LaTeX Search, http://www.latexsearch.com

  28. Sutskever, I., Salakhutdinov, R., Tenenbaum, J.B.: Modelling Relational Data using Bayesian Clustered Tensor Factorization. In: NIPS, pp. 1821–1828 (2009)

    Google Scholar 

  29. Thomas, R.: Millenium Mathematics Project—Bringing Mathematics to Life. MSOR Connections 4(3) (2004)

    Google Scholar 

  30. Topic, G., Kristianto, G.Y., Nghiem, M.-Q., Aizawa, A.: The MCAT Math Retrieval System for NTCIR-10 Math Track. In: The 10th NTCIR Conference (2013)

    Google Scholar 

  31. Tudorache, T., Vendetti, J., Noy, N.F.: Web-Protege: A Lightweight OWL Ontology Editor for the Web. In: OWLED (2008)

    Google Scholar 

  32. (uni)quation, http://uniquation.com

  33. Wikipedia Formula Search, http://shinh.org/wfs

  34. Wolfram Alpha, http://www.wolframalpha.com

  35. Wolfram Formula Search, http://functions.wolfram.com/formulasearch

Download references

Author information

Authors and Affiliations

  1. Kazan Federal University, Russia

    Olga A. Nevzorova, Nikita Zhiltsov, Alexander Kirillovich & Evgeny Lipachev

  2. Research Institute of Applied Semiotics of Tatarstan Academy of Sciences, Kazan, Russia

    Olga A. Nevzorova

Authors
  1. Olga A. Nevzorova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nikita Zhiltsov
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alexander Kirillovich
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Evgeny Lipachev
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Ulm, Institute of Artificial Intelligence, 89069, Ulm, Germany

    Pavel Klinov

  2. Mechanics and Optics, Saint Petersburg National Research University of Information Technologies, Saint-Petersburg, Russia

    Dmitry Mouromtsev

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Nevzorova, O.A., Zhiltsov, N., Kirillovich, A., Lipachev, E. (2014). OntoMath PRO Ontology: A Linked Data Hub for Mathematics. In: Klinov, P., Mouromtsev, D. (eds) Knowledge Engineering and the Semantic Web. KESW 2014. Communications in Computer and Information Science, vol 468. Springer, Cham. https://doi.org/10.1007/978-3-319-11716-4_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-11716-4_9

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-11715-7

  • Online ISBN: 978-3-319-11716-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation