{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T00:10:10Z","timestamp":1751501410544,"version":"3.41.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319777023"},{"type":"electronic","value":"9783319777030"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-77703-0_51","type":"book-chapter","created":{"date-parts":[[2018,3,24]],"date-time":"2018-03-24T11:53:05Z","timestamp":1521892385000},"page":"518-527","source":"Crossref","is-referenced-by-count":2,"title":["Towards a Mathematical Knowledge Management System: Ontology to Model Linear Equations"],"prefix":"10.1007","author":[{"given":"Alan","family":"Ram\u00edrez-Noriega","sequence":"first","affiliation":[]},{"given":"Yobani","family":"Mart\u00ednez-Ram\u00edrez","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9","family":"Armenta","sequence":"additional","affiliation":[]},{"given":"Sergio","family":"Miranda","sequence":"additional","affiliation":[]},{"given":"J. Francisco","family":"Figueroa P\u00e9rez","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9","family":"Mendivil-Torres","sequence":"additional","affiliation":[]},{"given":"Samantha","family":"Jim\u00e9nez","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"51_CR1","doi-asserted-by":"crossref","unstructured":"Alavi, M., Leidner, D.E.: Knowledge management systems: emerging views and practices from the field. In: Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences, pp. 1\u201311 (1999)","DOI":"10.1109\/HICSS.1999.772754"},{"key":"51_CR2","unstructured":"Britannica T.E.o.E: Brittanica (2017). https:\/\/www.britannica.com\/"},{"key":"51_CR3","first-page":"233","volume-title":"Lecture Notes in Computer Science","author":"Jacques Carette","year":"2009","unstructured":"Carette, J., Farmer, W.M.: A review of mathematical knowledge management. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, 6-12 July 2009, Proceedings, pp. 233\u2013246. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02614-0_21"},{"key":"51_CR4","first-page":"11","volume-title":"Knowledge Management for School Education","author":"Eric C. K. Cheng","year":"2014","unstructured":"Cheng, E.C.K.: Knowledge management for school education. In: Knowledge Management for School Education, 1st edn., no. 7, pp. 11\u201323. Springer, Singapore (2015)"},{"key":"51_CR5","first-page":"138","volume":"13","author":"F Coelho","year":"2012","unstructured":"Coelho, F., Souza, R., Code\u00e7o, C.: Towards an ontology for mathematical modeling with application to epidemiology. Adv. Knowl. Organ. 13, 138\u2013144 (2012)","journal-title":"Adv. Knowl. Organ."},{"key":"51_CR6","doi-asserted-by":"crossref","unstructured":"Dou, D., McDermott, D.: Deriving axioms across ontologies. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems - AAMAS 2006, p. 952 (2006)","DOI":"10.1145\/1160633.1160803"},{"key":"51_CR7","doi-asserted-by":"crossref","unstructured":"Elizarov, A., Kirillovich, A., Lipachev, E., Nevzorova, O.: OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management. CoRR, pp. 1\u201318 (2017)","DOI":"10.1007\/978-3-319-57135-5_3"},{"issue":"4","key":"51_CR8","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1134\/S1995080214040143","volume":"35","author":"A. M. Elizarov","year":"2014","unstructured":"Elizarov, A., Kirillovich, A., Lipachev, E., Nevzorova, O., Solovyev, V., Zhiltsov, N.: Mathematical Knowledge Representation: Semantic Models and Formalisms. CoRR abs\/1408.6 (project 3056), p. 10 (2014). http:\/\/arxiv.org\/abs\/1408.6806","journal-title":"Lobachevskii Journal of Mathematics"},{"key":"51_CR9","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/1041791.1041795","volume":"38","author":"W Farmer","year":"2004","unstructured":"Farmer, W.: MKM: a new interdisciplinary field of research. SIGSAM Bull. 38, 47\u201352 (2004)","journal-title":"SIGSAM Bull."},{"key":"51_CR10","unstructured":"Fernandez-Lopez, M., Gomez-Perez, A., Juristo, N.: METHONTOLOGY: from ontological art towards ontological engineering. In: Proceedings of the AAAI 1997 Spring Symposium, Stanford, USA, pp. 33\u201340 (1997)"},{"issue":"1","key":"51_CR11","first-page":"181","volume":"183","author":"M Fern\u00e1ndez-L\u00f3pez","year":"2008","unstructured":"Fern\u00e1ndez-L\u00f3pez, M., G\u00f3mez-P\u00e9rez, A., Su\u00e1rez-Figueroa, M.C.: Selecting and customizing a mereology ontology for its reuse in a pharmaceutical product ontology. Front. Artif. Intell. Appl. 183(1), 181\u2013194 (2008)","journal-title":"Front. Artif. Intell. Appl."},{"key":"51_CR12","volume-title":"Model Driven Engineering and Ontology Development","author":"D Gasevic","year":"2009","unstructured":"Gasevic, D., Djuric, D., Devedzic, V.: Model Driven Engineering and Ontology Development. Springer, Heidelberg (2009)"},{"key":"51_CR13","doi-asserted-by":"crossref","unstructured":"Jeschke, S.: KEA - A Knowledge Management System for Mathematics KEA - A Knowledge Management System for Mathematics (December 2007) (2014)","DOI":"10.1109\/ICSPC.2007.4728598"},{"issue":"4","key":"51_CR14","first-page":"308","volume":"4","author":"S John","year":"2014","unstructured":"John, S.: Development of an Educational Ontology for Java Programming (JLEO) with a hybrid methodology derived from conventional software engineering process models. Int. J. Inf. Educ. Technol. 4(4), 308\u2013312 (2014)","journal-title":"Int. J. Inf. Educ. Technol."},{"key":"51_CR15","unstructured":"Jurisica, I., Mylopoulos, J., Yu, E.: Using ontologies for knowledge management: an information systems perspective. In: Proceedings of the 62nd Annual Meeting of the American Society for Information Science, pp. 482\u2013496 (1999)"},{"key":"51_CR16","unstructured":"Leung, C.H.: Res. J. Inf. Technol. 2(2), 66\u201380 (2010)"},{"key":"51_CR17","doi-asserted-by":"crossref","unstructured":"Li, H., Li, W., Cai, Q., Liu, H.: A framework of ontology-based knowledge management system. In: Proceedings - 2009 2nd IEEE International Conference on Computer Science and Information Technology, ICCSIT 2009, pp. 374\u2013377 (2009)","DOI":"10.1109\/ICCSIT.2009.5234708"},{"issue":"4","key":"51_CR18","doi-asserted-by":"publisher","first-page":"399","DOI":"10.3233\/SW-150200","volume":"7","author":"S Lohmann","year":"2016","unstructured":"Lohmann, S., Negru, S., Haag, F., Ertl, T.: Visualizing ontologies with VOWL. Semant. Web 7(4), 399\u2013419 (2016)","journal-title":"Semant. Web"},{"issue":"61","key":"51_CR19","first-page":"449","volume":"18","author":"AC Mu\u00f1oz Garcia","year":"2014","unstructured":"Mu\u00f1oz Garcia, A.C., Sandia Saldivia, B., Monz\u00f2n P\u00e0ez, G.: An ontological model of collaborative learning in interactive distance education. Red de Revistas Cient\u00edficas de Am\u00e9rica Latina, el Caribe, Espa\u00f1a y Portugal 18(61), 449\u2013460 (2014)","journal-title":"Red de Revistas Cient\u00edficas de Am\u00e9rica Latina, el Caribe, Espa\u00f1a y Portugal"},{"key":"51_CR20","unstructured":"Noy, N.F., McGuinness, D.L.: Ontology Development 101: A Guide to Creating Your First Ontology. Stanford Knowledge Systems Laboratory, p. 25 (2001)"},{"key":"51_CR21","doi-asserted-by":"crossref","unstructured":"Pinto, H.S., Staab, S., Tempich, C.: DILIGENT: towards a fine-grained methodology for distributed, loosely-controlled and evolving engineering of ontologies. In: 16th European Conference on Artificial Intelligence - ECAI, pp. 393\u2013397 (2004)","DOI":"10.1007\/978-3-540-25956-5_2"},{"key":"51_CR22","doi-asserted-by":"crossref","unstructured":"Pribyl, P., F\u00e1bera, V., Faltus, V.: Domain-oriented ontology for ITS system. In: 2012 ELEKTRO, pp. 364\u2013368 (2012)","DOI":"10.1109\/ELEKTRO.2012.6225683"},{"key":"51_CR23","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-540-24750-0_6","volume-title":"Handbook on Ontologies","author":"York Sure","year":"2004","unstructured":"Sure, Y., Staab, S., Struder, R.: On-to-knowledge methodology. In: Handbook on Ontologies, pp. 117\u2013132 (2004)"},{"key":"51_CR24","first-page":"68","volume":"42","author":"JJ Tabares Garc\u00eda","year":"2014","unstructured":"Tabares Garc\u00eda, J.J., Jim\u00e9nez Builes, J.A.: Ontology for the evaluation process in higher education. Revista Virtual Universidad Cat\u00f3lica del Norte 42, 68\u201379 (2014)","journal-title":"Revista Virtual Universidad Cat\u00f3lica del Norte"},{"key":"51_CR25","unstructured":"Tartir, S., Arpinar, I.B., Moore, M., Sheth, A.P., Aleman-meza, B.: OntoQA: metric-based ontology quality analysis. In: IEEE Workshop on Knowledge Acquisition from Distributed, Autonomous, Semantically Heterogeneous Data and Knowledge Sources, pp. 45\u201353. IEEE (2005)"}],"container-title":["Advances in Intelligent Systems and Computing","Trends and Advances in Information Systems and Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-77703-0_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T23:41:04Z","timestamp":1751499664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-77703-0_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319777023","9783319777030"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-77703-0_51","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2018]]}}}