{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:31:24Z","timestamp":1725888684269},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319597720"},{"type":"electronic","value":"9783319597737"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-59773-7_41","type":"book-chapter","created":{"date-parts":[[2017,5,26]],"date-time":"2017-05-26T05:13:19Z","timestamp":1495775599000},"page":"404-412","source":"Crossref","is-referenced-by-count":0,"title":["OntoLexmath: An Ontology for Dealing with Mathematical Lexicon"],"prefix":"10.1007","author":[{"given":"M. Ang\u00e9lica","family":"Pinninghoff J.","sequence":"first","affiliation":[]},{"given":"Angel","family":"Castillo C.","sequence":"additional","affiliation":[]},{"given":"Pedro","family":"Salcedo L.","sequence":"additional","affiliation":[]},{"given":"Ricardo","family":"Contreras A.","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,27]]},"reference":[{"key":"41_CR1","unstructured":"Borst, W.N.: Construction of engineering ontologies for knowledge sharing and reuse. Ph.D. thesis, University of Twente (1997)"},{"key":"41_CR2","unstructured":"Farquhar, A., Fikes, R., Rice, J.: Tools for assembling modular ontologies in Ontolingua. In: Proceedings of Fourteenth American Association for Artificial Intelligence Conference (AAAI 1997) (1997)"},{"key":"41_CR3","unstructured":"G\u00f3mez-P\u00e9rez, A., Fern\u00e1ndez, M., Vicente, A.: Towards a method to conceptualize domain ontologies. In: Budapest: ECAI96 Workshop on Ontological Engineering (1996)"},{"key":"41_CR4","unstructured":"Gruber, T.R.: Toward Principles for the design of ontologies used for for knowledge sharing. Stanford Knowledge System Laboratory (1993)"},{"key":"41_CR5","unstructured":"Gr\u00fcninger, M., Fox, M.: Methodology for the design, evaluation of ontologies. In: Montreal: Workshop on Basic Ontological Issues in Knowledge Sharing (1995)"},{"key":"41_CR6","volume-title":"Building Large Knowledge-Based System: Representation and Inference in the Cyc Proyect","author":"D Lenant","year":"1990","unstructured":"Lenant, D., Guha, R.: Building Large Knowledge-Based System: Representation and Inference in the Cyc Proyect. Addison-Wesley, Boston (1990)"},{"key":"41_CR7","unstructured":"Noy, N., McGuiness, D.: Ontology development 101: a guide to creating your first ontology. Stanford knowledge systems laboratory technical report KSL-01-05 and Stanford medical informatics technical report SMI\u20130880 (2001)"},{"key":"41_CR8","unstructured":"Prot\u00e9g\u00e9 V.4.3. \nhttp:\/\/protege.stanford.edu\/\n\n. Accessed Aug 2016"},{"key":"41_CR9","unstructured":"Ramos, E., N\u00fa\u00f1ez, H., Casa\u00f1as, R.: Esquema para evaluar ontolog\u00edas \u00fanicas para un dominio de conocimiento. Revista Venezolana de Informaci\u00f3n, Tecnolog\u00eda y Conocimiento (2009)"},{"key":"41_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-319-18833-1_2","volume-title":"Bioinspired Computation in Artificial Systems","author":"P Salcedo Lagos","year":"2015","unstructured":"Salcedo Lagos, P., del Valle, M., Contreras Arriagada, R., Pinninghoff, M.A.: LEXMATH - a tool for the study of available lexicon in mathematics. In: Ferr\u00e1ndez Vicente, J.M., \u00c1lvarez-S\u00e1nchez, J.R., de la Paz L\u00f3pez, F., Toledo-Moreo, F.J., Adeli, H. (eds.) IWINAC 2015. LNCS, vol. 9108, pp. 11\u201319. Springer, Cham (2015). doi:\n10.1007\/978-3-319-18833-1_2"},{"key":"41_CR11","doi-asserted-by":"crossref","unstructured":"Smith, B.: Ontology. In: Blackwell Guide to the Philosophy of Computing and Information, pp. 155\u2013166. Blackwell, Oxford (2004)","DOI":"10.1002\/9780470757017.ch11"},{"key":"41_CR12","unstructured":"Uschold, M., King, M.: Towards a methodology for building ontologies. In: Montreal: IJCAI95 Workshop on Basic Ontological Issues in Knowledge Sharing (1995)"},{"key":"41_CR13","unstructured":"Uschold, M., Jasper, R.: A framework for understanding and classifying ontology applications. In: Stockholm: Proceedings of the IJCAI 1999 Workshop on Ontologies and Problem Solving Methods (KRR5) (1999)"}],"container-title":["Lecture Notes in Computer Science","Biomedical Applications Based on Natural and Artificial Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59773-7_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,26]],"date-time":"2017-05-26T05:25:24Z","timestamp":1495776324000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-59773-7_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319597720","9783319597737"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59773-7_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}