{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T07:50:29Z","timestamp":1773820229838,"version":"3.50.1"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319117157","type":"print"},{"value":"9783319117164","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11716-4_9","type":"book-chapter","created":{"date-parts":[[2014,9,3]],"date-time":"2014-09-03T10:21:15Z","timestamp":1409739675000},"page":"105-119","source":"Crossref","is-referenced-by-count":26,"title":["OntoMath PRO Ontology: A Linked Data Hub for Mathematics"],"prefix":"10.1007","author":[{"given":"Olga A.","family":"Nevzorova","sequence":"first","affiliation":[]},{"given":"Nikita","family":"Zhiltsov","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Kirillovich","sequence":"additional","affiliation":[]},{"given":"Evgeny","family":"Lipachev","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"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)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"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.\u00a04825, pp. 722\u2013735. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-76298-0_52"},{"key":"9_CR3","unstructured":"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)"},{"issue":"1835","key":"9_CR4","doi-asserted-by":"publisher","first-page":"2351","DOI":"10.1098\/rsta.2005.1650","volume":"363","author":"H. Barendregt","year":"2005","unstructured":"Barendregt, H., Wiedijk, F.: The Challenge of Computer Mathematics. Philosophical Transactions of the Royal Society A: Mathematical. Physical and Engineering Sciences\u00a0363(1835), 2351\u20132375 (2005)","journal-title":"Physical and Engineering Sciences"},{"issue":"6","key":"9_CR5","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1111\/j.1365-2923.1986.tb01386.x","volume":"20","author":"H.S. Barrows","year":"1986","unstructured":"Barrows, H.S.: A Taxonomy of Problembased Learning Methods. Medical Education\u00a020(6), 481\u2013486 (1986)","journal-title":"Medical Education"},{"key":"9_CR6","unstructured":"Berners-Lee, T.: Linked Data \u2013 Design Issues (2006), http:\/\/www.w3.org\/DesignIssues\/LinkedData.html"},{"issue":"2","key":"9_CR7","doi-asserted-by":"publisher","first-page":"81","DOI":"10.3103\/S000510551402006X","volume":"48","author":"E.V. Biryaltsev","year":"2014","unstructured":"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\u00a048(2), 81\u201385 (2014)","journal-title":"Automatic Documentation and Mathematical Linguistics"},{"issue":"3","key":"9_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jswis.2009081901","volume":"5","author":"C. Bizer","year":"2009","unstructured":"Bizer, C., Heath, T., Berners-Lee, T.: Linked Data \u2013 The Story So Far. International Journal on Semantic Web and Information Systems\u00a05(3), 1\u201322 (2009)","journal-title":"International Journal on Semantic Web and Information Systems"},{"key":"9_CR9","unstructured":"Bordes, A., Usunier, N., Garc\u00eda-Dur\u00e1n, A., Weston, J., Yakhnenko, O.: Translating Embeddings for Modeling Multi-relational Data. In: Advances in Neural Information Processing Systems, pp. 2787\u20132795 (2013)"},{"key":"9_CR10","unstructured":"Buswell, S., Caprotti, O., Carlisle, D.P., Dewar, M.C., Ga\u00ebtano, M., Kohlhase, M.: The Open Math Standard. Version 2.0. Technical report, The Open Math Society (2004), http:\/\/www.openmath.org\/standard\/om20"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1007\/978-3-642-13489-0_26","volume-title":"The Semantic Web: Research and Applications","author":"C. David","year":"2010","unstructured":"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\u00f6nen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010, Part II. LNCS, vol.\u00a06089, pp. 370\u2013375. Springer, Heidelberg (2010)"},{"key":"9_CR12","unstructured":"Dobrov, B., Loukachevitch, N.: Development of Linguistic Ontology on Natural Sciences and Technology. In: Proceedings of Linguistic Resources and Evaluation Conference, pp. 1077\u20131082 (2006)"},{"issue":"3","key":"9_CR13","first-page":"75","volume":"24","author":"M. Doerr","year":"2003","unstructured":"Doerr, M.: The CIDOC conceptual reference module: an ontological approach to semantic interoperability of metadata. AI Magazine\u00a024(3), 75\u201392 (2003)","journal-title":"AI Magazine"},{"key":"9_CR14","unstructured":"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)"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Gruber, T., Olsen, G.: An Ontology for Engineering Mathematics. In: Principles of Knowledge Representation and Reasoning, pp. 258\u2013269 (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50120-2"},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2008.03.063","volume":"205","author":"F. Kamareddine","year":"2008","unstructured":"Kamareddine, F., Wells, J.B.: Computerizing Mathematical Text with MathLang. Electronic Notes in Theoretical Computer Science\u00a0205, 5\u201330 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/11826095","volume-title":"OMDoc \u2013 An Open Markup Format for Mathematical Documents [version 1.2]","author":"M. Kohlhase","year":"2006","unstructured":"Kohlhase, M.: OMDoc \u2013 An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol.\u00a04180. Springer, Heidelberg (2006)"},{"key":"9_CR18","unstructured":"Lange, C.: Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration. Studies on the Semantic Web, vol.\u00a011, pp. 1\u2013592. IOS Press (2011)"},{"issue":"2","key":"9_CR19","doi-asserted-by":"crossref","first-page":"119","DOI":"10.3233\/SW-2012-0059","volume":"4","author":"C. Lange","year":"2013","unstructured":"Lange, C.: Ontologies and Languages for Representing Mathematical Knowledge on the Semantic Web. Semantic Web\u00a04(2), 119\u2013158 (2013)","journal-title":"Semantic Web"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"763","DOI":"10.1007\/978-3-642-30284-8_58","volume-title":"The Semantic Web: Research and Applications","author":"C. Lange","year":"2012","unstructured":"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.\u00a07295, pp. 763\u2013777. Springer, Heidelberg (2012)"},{"issue":"6","key":"9_CR21","doi-asserted-by":"publisher","first-page":"386","DOI":"10.3103\/S0147688213060063","volume":"40","author":"O.A. Nevzorova","year":"2013","unstructured":"Nevzorova, O.A., Birialtcev, E.V., Zhiltsov, N.G.: Mathematical text collections: Annotation and Application for Search Tasks. Scientific and Technical Information Processing\u00a040(6), 386\u2013395 (2013)","journal-title":"Scientific and Technical Information Processing"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-41335-3_24","volume-title":"The Semantic Web \u2013 ISWC 2013","author":"O. Nevzorova","year":"2013","unstructured":"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.\u00a08218, pp. 379\u2013394. Springer, Heidelberg (2013)"},{"key":"9_CR23","unstructured":"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\u2013816 (2011)"},{"issue":"2","key":"9_CR24","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E. Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A Practical OWL-DL Reasoner. J. Web Sem.\u00a05(2), 51\u201353 (2007)","journal-title":"J. Web Sem."},{"issue":"8","key":"9_CR25","first-page":"912","volume":"50","author":"N. Sloane","year":"2003","unstructured":"Sloane, N.: The On-line Encyclopedia of integer sequences. Notices of the AMS\u00a050(8), 912 (2003)","journal-title":"Notices of the AMS"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"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\u201321:9 (2011)","DOI":"10.1145\/1988688.1988713"},{"key":"9_CR27","unstructured":"Springer LaTeX Search, http:\/\/www.latexsearch.com"},{"key":"9_CR28","unstructured":"Sutskever, I., Salakhutdinov, R., Tenenbaum, J.B.: Modelling Relational Data using Bayesian Clustered Tensor Factorization. In: NIPS, pp. 1821\u20131828 (2009)"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Thomas, R.: Millenium Mathematics Project\u2014Bringing Mathematics to Life. MSOR Connections\u00a04(3) (2004)","DOI":"10.11120\/msor.2004.04030007"},{"key":"9_CR30","unstructured":"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)"},{"key":"9_CR31","unstructured":"Tudorache, T., Vendetti, J., Noy, N.F.: Web-Protege: A Lightweight OWL Ontology Editor for the Web. In: OWLED (2008)"},{"key":"9_CR32","unstructured":"(uni)quation, http:\/\/uniquation.com"},{"key":"9_CR33","unstructured":"Wikipedia Formula Search, http:\/\/shinh.org\/wfs"},{"key":"9_CR34","unstructured":"Wolfram Alpha, http:\/\/www.wolframalpha.com"},{"key":"9_CR35","unstructured":"Wolfram Formula Search, http:\/\/functions.wolfram.com\/formulasearch"}],"container-title":["Communications in Computer and Information Science","Knowledge Engineering and the Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11716-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T21:21:48Z","timestamp":1598217708000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11716-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319117157","9783319117164"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11716-4_9","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}