{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:36:41Z","timestamp":1742913401851,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540710080"},{"type":"electronic","value":"9783540710097"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-71009-7_19","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T18:17:24Z","timestamp":1184955444000},"page":"216-225","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Tagging for Intelligent Processing of Design Information"],"prefix":"10.1007","author":[{"given":"Hideaki","family":"Takeda","sequence":"first","affiliation":[]},{"given":"Yutaka","family":"Fujimoto","sequence":"additional","affiliation":[]},{"given":"Masaharu","family":"Yoshioka","sequence":"additional","affiliation":[]},{"given":"Yoshiki","family":"Shimomura","sequence":"additional","affiliation":[]},{"given":"Kengo","family":"Morimoto","sequence":"additional","affiliation":[]},{"given":"Wataru","family":"Oniki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,7,20]]},"reference":[{"key":"19_CR1","unstructured":"Takeda, H., Sakai, H., Nomaguchi, Y., Yoshioka, M., Shimomura, Y., Tomiyama, T.: Universal abduction studio \u2013 proposal of a design support envrionment for creative thinking in design \u2013. In: Folkman, A., Gralen, K., Norell, M., Sellgren, U. (eds.) The Fourteenth International Conference on Engineering Design (ICED 03), Stockholm (2003)"},{"key":"19_CR2","unstructured":"Takeda, H., Yoshioka, M., Tomiyama, T.: A general framework for modeling of synthesis \u2013 integration of theories of synthesis \u2013. In: 13th International Conference on Engineering Design \u2013 ICED 01, Design Research \u2013 Theories, Methodologies, and Product Modelling, Glasgow, pp. 307\u2013314 (2001)"},{"key":"19_CR3","first-page":"167","volume-title":"Design Theory and Methodology, DTM \u201992","author":"H. Takeda","year":"1992","unstructured":"Takeda, H., Tomiyama, T., Yoshikawa, H.: A Logical and Computerable framework for reasoning in design. In: Taylor, D., Stauffer, L. (eds.) Design Theory and Methodology, DTM \u201992, pp. 167\u2013174. The American Society of Mechanical Engineers (ASME), New York (1992)"},{"issue":"4","key":"19_CR4","first-page":"37","volume":"11","author":"H. Takeda","year":"1990","unstructured":"Takeda, H., Veerkamp, P., Tomiyama, T., Yoshikawa, H.: Modeling design processes. AI Magazine\u00a011(4), 37\u201348 (1990)","journal-title":"AI Magazine"},{"key":"19_CR5","unstructured":"Hayashi, K., Takeda, H., Tomiyama, T., Yoshikawa, H.: Analysis and logical formalization of design processes (the third report) \u2013 modeling with circumscription and abduction \u2013 (In Japanese). In: The proceedings of the annual conference of the Japanese Society for Precision Engineering, pp. 7\u20138 (1989)"},{"key":"19_CR6","volume-title":"Logic Models of Design","author":"R. Coyne","year":"1988","unstructured":"Coyne, R.: Logic Models of Design. Pitman Publishing, London (1988)"},{"key":"19_CR7","volume-title":"Product Design: Fundamentals and Methods","author":"N. Roozenburg","year":"1995","unstructured":"Roozenburg, N., Eekels, J.: Product Design: Fundamentals and Methods. John Wiley & Sons, Chichester (1995)"},{"key":"19_CR8","volume-title":"Collected Papers of Charles Sanders Peirce, vol. 5","author":"C. Peirce","year":"1935","unstructured":"Peirce, C.: Collected Papers of Charles Sanders Peirce, vol. 5. Harvard University Press, Cambridge (1935)"},{"volume-title":"Abductive and Inductive Reasoning: Essays on their Relation and Integration","year":"2000","key":"19_CR9","unstructured":"Flach, P., Kakas, A. (eds.): Abductive and Inductive Reasoning: Essays on their Relation and Integration. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"19_CR10","unstructured":"Schurz, G.: Models of abductive reasoning. In: Schurz, G., Werning, M. (eds.): TPD Preprints Annual. Number 1 in Philosophical Prepublication Series of the Chair of Theoretical Philosophy. The University of Dusseldorf (2002)"},{"key":"19_CR11","series-title":"Applied Logic Series","volume-title":"Abductive and Inductive Reasoning: Essays on their Relation and Integration","author":"A. Aliseda","year":"2000","unstructured":"Aliseda, A.: Abduction as epistemic change: A peircean model in artificial intelligence. In: Flach, P., Kakas, A. (eds.) Abductive and Inductive Reasoning: Essays on their Relation and Integration. Applied Logic Series, Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"19_CR12","volume-title":"Proceedings of the IFIP WG5.2 International Workshop on Formal Design Method for CAD, Tallinn","author":"H. Takeda","year":"1993","unstructured":"Takeda, H.: Abduction for design. In: Gero, J., Sudweeks, F. (eds.) Proceedings of the IFIP WG5.2 International Workshop on Formal Design Method for CAD, Tallinn, Elsevier Science Publishers B.V., Amsterdam (1993)"},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1017\/S0890060400000998","volume":"8","author":"T. Tomiyama","year":"1994","unstructured":"Tomiyama, T.: From general design theory to knowledge-intensive engineering. Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM)\u00a08, 319\u2013333 (1994)","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM)"},{"key":"19_CR14","unstructured":"Gruber, T.R.: Toward principles for the design of ontologies used for knowledge sharing. Technical Report KSL 93-4, Knowledge Systems Laboratory, Stanford University (1993)"},{"key":"19_CR15","unstructured":"Yoshioka, M., Umeda, Y., Takeda, H., Shimomura, Y., Nomaguchi, Y., Tomiyama, T.: Physical concept ontology for the knowledge intensive engineering framework (Advanced Engineering Informatics) (Accepted for publication)"},{"key":"19_CR16","volume-title":"Hits for mechanical design, A second series","author":"H. Watanabe","year":"1998","unstructured":"Watanabe, H.: Hits for mechanical design, A second series (In Japanese). Nikkan Kogyo Shinbun, Tokyo (1998)"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Yoshioka, M., Shamoto, Y.: Knowledge Management System for Problem Solving \u2013 Integration of Document Information and Formalized Knowledge \u2013. In: Proceedings of the 2003 ASME Design Engineering Technical Conference & Computers and Information in Engineering Conference, The American Society of Mechanical Engineers (ASME), New York, DETC2003\/CIE-48217 (CD-ROM) (2003)","DOI":"10.1115\/DETC2003\/CIE-48217"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American (2001)","DOI":"10.1038\/scientificamerican0501-34"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71009-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,7]],"date-time":"2021-08-07T00:07:36Z","timestamp":1628294856000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-71009-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540710080","9783540710097"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71009-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]},"assertion":[{"value":"20 July 2007","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}