{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T05:12:00Z","timestamp":1755925920697,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319175294"},{"type":"electronic","value":"9783319175300"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-17530-0_8","type":"book-chapter","created":{"date-parts":[[2015,5,6]],"date-time":"2015-05-06T08:27:46Z","timestamp":1430900866000},"page":"101-118","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Ontology COKB for Knowledge Representation and Reasoning in Designing Knowledge-Based Systems"],"prefix":"10.1007","author":[{"given":"Nhon V.","family":"Do","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,5,7]]},"reference":[{"key":"8_CR1","volume-title":"Handbook of Knowledge Representation","author":"F van Harmelen","year":"2008","unstructured":"van Harmelen, F., Lifschitz, V., Porter, B.: Handbook of Knowledge Representation. Elsevier, Amsterdam (2008)"},{"key":"8_CR2","volume-title":"Artificial Intelligence \u2013 A Modern Approach","author":"S Russell","year":"2010","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence \u2013 A Modern Approach, 3rd edn. Prentice Hall, Englewood Cliffs (2010)","edition":"3"},{"key":"8_CR3","volume-title":"Knowledge Representation: Logical Philosophical and Computational Foundations","author":"JF Sowa","year":"2000","unstructured":"Sowa, J.F.: Knowledge Representation: Logical Philosophical and Computational Foundations. Brooks\/Cole, Boston (2000)"},{"key":"8_CR4","volume-title":"Artificial Intelligence: Structures And Strategies For Complex Problem Solving","author":"GF Luger","year":"2008","unstructured":"Luger, G.F.: Artificial Intelligence: Structures And Strategies For Complex Problem Solving. Addison Wesley Longman, Inc., Boston (2008)"},{"key":"8_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"Chitta Baral","year":"2003","unstructured":"Baral, Chitta: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, UK Cambridge (2003)"},{"key":"8_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58107-3","volume-title":"Foundations of Knowledge representation and Reasoning","author":"G Lakemeyer","year":"1994","unstructured":"Lakemeyer, G., Nebel, B.: Foundations of Knowledge representation and Reasoning. Springer-Verlag, Berlin Heidelberg (1994)"},{"key":"8_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6639-0","volume-title":"Mechanical Theorem Proving in Geometries","author":"W-T Wu","year":"1994","unstructured":"Wu, W.-T.: Mechanical Theorem Proving in Geometries. Springer, Berlin, Heidelberg (1994)"},{"key":"8_CR8","doi-asserted-by":"crossref","DOI":"10.1142\/2196","volume-title":"Machine Proofs in Geometry","author":"SC Chou","year":"1994","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: Machine Proofs in Geometry. Utopia Press, Singapore (1994)"},{"key":"8_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6604-8","volume-title":"Automated Practical Reasoning","author":"J Pfalzgraf","year":"1995","unstructured":"Pfalzgraf, J., Wang, D.: Automated Practical Reasoning. Springer, Heidelberg (1995)"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"907","DOI":"10.1006\/ijhc.1995.1081","volume":"43","author":"TR Gruber","year":"1995","unstructured":"Gruber, T.R.: Toward principles for the design of ontologies used for knowledge sharing. Int. J. Hum. Comput. Stud. 43, 907\u2013928 (1995)","journal-title":"Int. J. Hum. Comput. Stud."},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"598","DOI":"10.1147\/sj.433.0598","volume":"43","author":"L Stojanovic","year":"2004","unstructured":"Stojanovic, L., Schneider, J., Maedche, A., Libischer, S., Suder, R., Lumpp, T., Abecker, A., Breiter, G., Dinger, J.: The role of ontologies in autonomic computing systems. IBM Syst. J. 43, 598\u2013616 (2004)","journal-title":"IBM Syst. J."},{"key":"8_CR12","volume-title":"Ontological Engineering","author":"A G\u00f3mez-P\u00e9rez","year":"2004","unstructured":"G\u00f3mez-P\u00e9rez, A., F\u00e9rnandez-L\u00f3pez, M., Corcho, O.: Ontological Engineering. Springer, Heidelberg (2004)"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1006\/ijhc.1995.1066","volume":"43","author":"N Guarino","year":"1995","unstructured":"Guarino, N.: Formal ontology, conceptual analysis and knowledge representation. Int. J. Hum. Comput. Stud. 43, 625\u2013640 (1995)","journal-title":"Int. J. Hum. Comput. Stud."},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1155\/2014\/689650","volume":"2014","author":"M Fathalipour","year":"2014","unstructured":"Fathalipour, M., Selamat, A., Jung, J.J.: Ontology-based, process-oriented, and society-independent agent system for cloud computing. Int. J. Distrib. Sens. Netw. 2014, 17 (2014)","journal-title":"Int. J. Distrib. Sens. Netw."},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/11431053_31","volume-title":"The Semantic Web: Research and Applications","author":"D Vallet","year":"2005","unstructured":"Vallet, D., Fern\u00e1ndez, M., Castells, P.: An ontology-based information retrieval model. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 455\u2013470. Springer, Heidelberg (2005)"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1006\/ijhc.1996.0090","volume":"45","author":"G Van Heijst","year":"1997","unstructured":"Van Heijst, G., Schreiber, A.T.H., Wielinga, B.J.: Using explicit ontologies in KBS development. Int. J. Hum. Comput. Stud. 45, 183\u2013292 (1997). Academic Press Limited","journal-title":"Int. J. Hum. Comput. Stud."},{"issue":"3","key":"8_CR17","first-page":"79","volume":"14","author":"H Abdulmajid","year":"2006","unstructured":"Abdulmajid, H.: Mohamed, sai peck lee, siti salwah salim, an ontology-based knowledge model for software experience management. Int. J. Comput. Internet Manage 14(3), 79\u201388 (2006)","journal-title":"Int. J. Comput. Internet Manage"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-319-02741-8_8","volume-title":"Knowledge and Systems Engineering","author":"M Chein","year":"2014","unstructured":"Chein, M., Leclere, M., Nicolas, Y.: Sudocad: a knowledge-based system for the author linkage problem. In: Huynh, V.N., Denoeux, T., Tran, D.H., Le, A.C., Pham, S.B. (eds.) Knowledge and Systems Engineering, vol. 1, pp. 65\u201383. Springer International Publishing, Switzerland (2014)"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/978-3-642-36546-1_51","volume-title":"Intelligent Information and Database Systems","author":"M Krotkiewics","year":"2013","unstructured":"Krotkiewics, M., Wojtkiewicz, K.: An introduction to ontology based structured knowledge base system: knowledge acquisition Module. In: Selamat, A., Nguyen, N.T., Haron, H. (eds.) ACIIDS 2013. LNCS, vol. 7802, pp. 497\u2013506. Springer, Heidelberg (2013)"},{"issue":"2","key":"8_CR20","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/BF03040960","volume":"22","author":"R Mizoguchi","year":"2004","unstructured":"Mizoguchi, R.: Advanced course of ontological engineering. New Gener. Comput. 22(2), 193\u2013220 (2004). Ohmsha Ltd. and Springer-Verlag, 2004","journal-title":"New Gener. Comput."},{"key":"8_CR21","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-02741-8_1","volume-title":"Knowledge and Systems Engineering","author":"R Mizoguchi","year":"2014","unstructured":"Mizoguchi, R.: What ontological engineering can do for solving real-world problems. In: Huynh, V.N., Denoeux, T., Tran, D.H., Le, A.C., Pham, S.B. (eds.) Knowledge and Systems Engineering, vol. 1, p. 3. Springer International Publishing, Switzerland (2014)"},{"key":"8_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-1349-6","volume-title":"Object-Oriented Modeling","author":"JM Berge","year":"1996","unstructured":"Berge, J.M., Levia, O., Rouillard, J.: Object-Oriented Modeling. Kluwer Academic Publishers, Netherlands (1996)"},{"key":"8_CR23","volume-title":"Maple Programming Guide","author":"L Bernadin","year":"2012","unstructured":"Bernadin, L., et al.: Maple Programming Guide. Maplesoft, a division of Waterloo Maple Inc, Waterloo (2012)"},{"key":"8_CR24","unstructured":"Van Nhon, D.: A program for studying and solving problems in plane geometry. In: Proceedings of International Conference on Artificial Intelligence, Las Vegas, USA, pp. 1441\u20131447 (2000)"},{"key":"8_CR25","unstructured":"Van Nhon, D.: A system that supports studying knowledge and solving of analytic geometry problems. In: 16th World Computer Congress 2000, Proceedings of Conference on Education Uses of Information and Communication Technologies, Beijing, China. pp. 236\u2013239 (2000)"},{"issue":"4","key":"8_CR26","first-page":"308","volume":"10","author":"TLN Thi","year":"2013","unstructured":"Thi, T.L.N., Van Do, N.: An expert system for diabetic microvascular complication diagnosis. J. Comput. Sci. Issues 10(4), 308\u2013316 (2013). No 2","journal-title":"J. Comput. Sci. Issues"},{"issue":"3","key":"8_CR27","first-page":"11","volume":"7","author":"N Van Do","year":"2010","unstructured":"Van Do, N.: Model for knowledge bases of computational objects. Int. J. Comput. Sci. 7(3), 11\u201320 (2010). No 8","journal-title":"Int. J. Comput. Sci."}],"container-title":["Communications in Computer and Information Science","Intelligent Software Methodologies, Tools and Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17530-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T03:30:42Z","timestamp":1676950242000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17530-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319175294","9783319175300"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17530-0_8","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"7 May 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}