{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:13:29Z","timestamp":1725455609614},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635925"},{"type":"electronic","value":"9783540696063"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0026781","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:33:26Z","timestamp":1132385606000},"page":"113-128","source":"Crossref","is-referenced-by-count":18,"title":["Using ontologies for defining tasks, problem-solving methods and their mappings"],"prefix":"10.1007","author":[{"given":"D.","family":"Fensel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Motta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Decker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z.","family":"Zdrahal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"J. M. Akkermans, B. Wielinga, and A. TH. Schreiber: Steps in Constructing Problem-Solving Methods. In N. Aussenac et al. (eds.): Knowledge-Acquisition for Knowledge-Based Systems, Lecture Notes in AI, no 723, Springer-Verlag, 1993.","key":"8_CR1","DOI":"10.1007\/3-540-57253-8_47"},{"doi-asserted-by":"crossref","unstructured":"J. Angele, D. Fensel, and R. Studer: Domain and Task Modelling in MIKE. In A. Sutcliffe et al. (eds.), Domain Knowledge for Interactive System Design, Chapman & Hall, 1996.","key":"8_CR2","DOI":"10.1007\/978-0-387-35059-2_11"},{"issue":"2","key":"8_CR3","first-page":"93","volume":"8","author":"R. Benjamins","year":"1995","unstructured":"R. Benjamins: Problem Solving Methods for Diagnosis And Their Role in Knowledge Acquisition, International Journal of Expert Systems: Research and Application, 8(2):93\u2013120, 1995.","journal-title":"International Journal of Expert Systems: Research and Application"},{"unstructured":"P. Beys, R. Benjamins, and G. van Heijst: Remedying the Reusability-Usability Tradeoff for Problem-solving Methods. In Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW 96), Banff, Canada, November 9\u201314, 1996.","key":"8_CR4"},{"volume-title":"The CommonKADS Library for Expertise Modelling","year":"1994","unstructured":"J. Breuker and W. Van de Velde (eds.): The CommonKADS Library for Expertise Modelling, IOS Press, Amsterdam, The Netherlands, 1994.","key":"8_CR5"},{"key":"8_CR6","first-page":"65","volume-title":"Knowledge Acquisition for Knowledge-Based Systems, vol 1","author":"T. Bylander","year":"1988","unstructured":"T. Bylander, and B. Chandrasekaran: Generic Tasks in Knowledge-Based Reasoning: The Right Level of Abstraction for Knowledge Acquisition. In B. Gaines et al. (eds.), Knowledge Acquisition for Knowledge-Based Systems, vol 1, pp. 65\u201377. Academic Press, London, 1988."},{"issue":"4","key":"8_CR7","first-page":"59","volume":"11","author":"B. Chandrasekaran","year":"1990","unstructured":"B. Chandrasekaran: Design Problem Solving: A Task Analysis. AI Magazine, 11(4):59\u201371, Winter Issue, 1990.","journal-title":"AI Magazine"},{"issue":"9","key":"8_CR8","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1145\/130994.131002","volume":"35","author":"B. Chandrasekaran","year":"1992","unstructured":"B. Chandrasekaran, T.R. Johnson, and J. W. Smith: Task Structure Analysis for Knowledge Modeling, Communications of the ACM, 35(9): 124\u2013137, 1992.","journal-title":"Communications of the ACM"},{"issue":"2","key":"8_CR9","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/0004-3702(94)00040-9","volume":"79","author":"H. Eriksson","year":"1995","unstructured":"H. Eriksson, Y. Shahar, S. W. Tu, A. R. Puerta, and M. A. Musen: Task Modeling with Reusable Problem-Solving Methods, Artificial Intelligence, 79(2):293\u2013326, 1995.","journal-title":"Artificial Intelligence"},{"issue":"6","key":"8_CR10","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1006\/ijhc.1996.0121","volume":"46","author":"A. Farquhar","year":"1997","unstructured":"A. Farquhar, R. Fickas, and J. Rice: The Ontolingua Server: a Tool for Collaborative Ontology Construction, International Journal of Human-Computer Studies (IJHCS), 46(6):707\u2013728, 1997.","journal-title":"International Journal of Human-Computer Studies (IJHCS)"},{"doi-asserted-by":"crossref","unstructured":"D. Fensel: An Ontology-based Broker: Making Problem-Solving Method Reuse Work. In Proceeedings of the Workshop on Problem-Solving Methods for Knowledge-based Systems (W26) during IJCAI-97, Japan, August 23, 1997.","key":"8_CR11","DOI":"10.1007\/BFb0026780"},{"doi-asserted-by":"crossref","unstructured":"D. Fensel: The Tower-of-Adapters Method for Developing and Reusing Problem-Solving Methods. To appear in Proceedings of European Knowledge Acquisition Workshop (EKAW-97), LNAI, Springer-Verlag, 1997.","key":"8_CR12","DOI":"10.1007\/BFb0026780"},{"unstructured":"D. Fensel and R. Groenboom: Specifying Knowledge-Based Systems with Reusable Components. In Proceedings of the 9th International Conference on Software Engineering & Knowledge Engineering (SEKE-97), Madrid, Spain, June 18\u201320, 1997.","key":"8_CR13"},{"unstructured":"D. Fensel and A. Sch\u00f6negge: Specifying and Verifying Knowledge-Based Systems with KIV. In Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems EUROVAV-97, Leuven Belgium, June 26\u201328, 1997.","key":"8_CR14"},{"unstructured":"D. Fensel, H. Eriksson, M. A. Musen, and R. Studer: Developing Problem-Solving by Introducing Ontological Commitments, International Journal of Expert Systems: Research & Applications, vol 9(4), 1996.","key":"8_CR15"},{"doi-asserted-by":"crossref","unstructured":"Gennari, J. H., Tu, S. W., Rothenfluh, T. E., Musen, M. A. Mapping Domains to Methods in Support of Reuse. In Proceedings of the 8th Banff Knowledge Acquisition Workshop (KAW-94), Banff, Canada, 1994.","key":"8_CR16","DOI":"10.1006\/ijhc.1994.1066"},{"doi-asserted-by":"crossref","unstructured":"T. R. Gruber: A Translation Approach to Portable Ontology Specifications, Knowledge Acquisition, 5(2), 1993.","key":"8_CR17","DOI":"10.1006\/knac.1993.1008"},{"issue":"5\/6","key":"8_CR18","doi-asserted-by":"publisher","first-page":"907","DOI":"10.1006\/ijhc.1995.1081","volume":"43","author":"T. R. Gruber","year":"1995","unstructured":"T. R. Gruber: Toward Principles for the Design of Ontologies Used for Knowledge Sharing, International Journal of Human-Computer Studies (IJHCS), 43(5\/6):907\u2013928, 1995.","journal-title":"International Journal of Human-Computer Studies (IJHCS)"},{"doi-asserted-by":"crossref","unstructured":"M. Kifer, G. Lausen, and J. Wu: Logical Foundations of Object-Oriented and Frame-Based Languages, Journal of the ACM, 42, 1995.","key":"8_CR19","DOI":"10.1145\/210332.210335"},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/1042-8143(91)90001-4","volume":"3","author":"G. Klinker","year":"1991","unstructured":"G. Klinker, C. Bhola, G. Dallemagne, D. Marques, and J. McDermott: Usable and Reusable Programmin Constructs, Knowledge Acquisition, 3:117\u2013136, 1991.","journal-title":"Knowledge Acquisition"},{"unstructured":"D. B. Lenat and E. A. Feigenbaum: On the Thresholds of Knowledge. In Proceedings of the 10th International Joint Conference on Artificial Intelligence (IJCAI-87), 1987.","key":"8_CR21"},{"issue":"1","key":"8_CR22","first-page":"95","volume":"9","author":"S. Marcus","year":"1988","unstructured":"S. Marcus, J. Stout, and J. McDermott VT: An Expert Elevator Designer That Uses Knowledge-based Backtracking, AI Magazine, 9(1):95\u2013111, 1988.","journal-title":"AI Magazine"},{"doi-asserted-by":"crossref","unstructured":"S. Marcus, and J. McDermott: SALT: A Knowledge Acquisition Language for Propose and Revise Systems, Artificial Intelligence, 39(1):1\u201337.","key":"8_CR23","DOI":"10.1016\/0004-3702(89)90002-7"},{"key":"8_CR24","volume-title":"Automating Knowledge Acquisition for Experts Systems","author":"J. Mc Dermott","year":"1988","unstructured":"J. Mc Dermott: Preliminary Steps Toward a Taxonomy of Problem-Solving Methods. In S. Marcus (ed.). Automating Knowledge Acquisition for Experts Systems, Kluwer Academic Publisher, Boston, 1988."},{"key":"8_CR25","volume-title":"Proceedings of the 11th International Joint Conference on Artificial Intelligence \u2014 IJCAI `89","author":"S. Mittal","year":"1989","unstructured":"S. Mittal and F. Frayman: Towards a Generic Model of Configuration Tasks. In Proceedings of the 11th International Joint Conference on Artificial Intelligence \u2014 IJCAI `89, San Mateo, CA, Morgan-Kaufman, 1989."},{"unstructured":"R. Mizoguchi, J. Vanwelkenhuysen, and M. Ikeda: Task Ontologies for reuse of Problem Solving Knowledge. In N. J. I. Mars (ed.), Towards Very Large Knowledge Bases, IOS Press, 1995.","key":"8_CR26"},{"unstructured":"E. Motta and Z. Zdrahal: Parametric Design Problem Solving. In Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW 96), Banff, Canada, November 9\u201314,1996.","key":"8_CR27"},{"unstructured":"A. Newell and H. A. Simon: Human Problem Solving, Prentice Hall, 1972.","key":"8_CR28"},{"key":"8_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-77971-8","volume-title":"Systematic Introduction to Expert Systems: Knowledge Representation and Problem-Solving Methods","author":"F. Puppe","year":"1993","unstructured":"F. Puppe: Systematic Introduction to Expert Systems: Knowledge Representation and Problem-Solving Methods, Springer-Verlag, Berlin, 1993."},{"key":"8_CR30","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1006\/ijhc.1996.0095","volume":"46","author":"C. Reynaud","year":"1997","unstructured":"C. Reynaud and F. Tort: Using Explicit Ontologies to Create Problem Solving Methods, International Journal of Human-Computer Studies (IJHCS), 46:339\u2013364, 1997.","journal-title":"International Journal of Human-Computer Studies (IJHCS)"},{"issue":"6","key":"8_CR31","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/64.363263","volume":"9","author":"A. T. Schreiber","year":"1994","unstructured":"A. TH. Schreiber, B. Wielinga, J. M. Akkermans, W. Van De Velde, and R. de Hoog: CommonKADS. A Comprehensive Methodology for KBS Development, IEEE Expert, 9(6):28\u201337, 1994.","journal-title":"IEEE Expert"},{"unstructured":"L. Steels: Components of Expertise, AI Magazine, 11(2), 1990.","key":"8_CR32"},{"key":"8_CR33","volume-title":"Automated Configuration of Problem Solving Methods in Diagnosis","author":"A. Teije ten","year":"1997","unstructured":"A. ten Teije: Automated Configuration of Problem Solving Methods in Diagnosis, PhD thesis, University of Amsterdam, Amsterdam, NL, 1997."},{"doi-asserted-by":"crossref","unstructured":"P. Terpstra, G. van Heijst, B. Wielinga, and N. Shadbolt: Knowledge Acquisition Support Through Generalised Directive Models. In M. David et al. (eds.): Second Generation Expert Systems, Springer-Verlag, 1993.","key":"8_CR34","DOI":"10.1007\/978-3-642-77927-5_19"},{"key":"8_CR35","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1006\/ijhc.1994.1074","volume":"41","author":"J. Top","year":"1994","unstructured":"J. Top and H. Akkermans: Tasks and Ontologies in Engineering Modeling, International Journal of Human-Computer Studies (IJHCS), 41:585\u2013617, 1994.","journal-title":"International Journal of Human-Computer Studies (IJHCS)"},{"unstructured":"G. van Heijst and A. Anjewerden: Four Propositions concerning the specification of Problem-Solving Methods. In Supplementary Proceedings of the 9th European Knowledge Acquisition Workshop EKAW-96, Nottingham, England, May 14\u201317,1996.","key":"8_CR36"},{"doi-asserted-by":"crossref","unstructured":"W. van de Velde: Inference Structure as a Basis for Problem Solving. In Proceedings of the 8th European Conference on Artificial Intelligence (ECAI-88), Munich, August 1\u20135, 1988.","key":"8_CR37","DOI":"10.3233\/AIC-1988-1112"},{"doi-asserted-by":"crossref","unstructured":"F. van Harmelen and D. Fensel: Formal Methods in Knowledge Engineering, The Knowledge Engineering Review, 10(4), 1995.","key":"8_CR38","DOI":"10.1017\/S0269888900007554"},{"doi-asserted-by":"crossref","unstructured":"G. van Heijst, A. T. Schreiber, and B. J. Wielinga: Using Explicit Ontologies in Knowledge-Based System Development, International Journal of Human-Computer Interaction (IJHCI), to appear 1997.","key":"8_CR39","DOI":"10.1006\/ijhc.1996.0090"},{"unstructured":"B. J. Wielinga, J. M. Akkermans, and A. Th. Schreiber: A Formal Analysis of Parametric Design Problem Solving. In Proceedings of the 9th Banff Knowledge Acquisition Workshop (KAW-95), Banff, Canada, January 26\u2013Feruary 3, 1995.","key":"8_CR40"},{"issue":"3\/4","key":"8_CR41","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1006\/ijhc.1996.0023","volume":"44","author":"G. R. Yost","year":"1996","unstructured":"G. R. Yost and T.R. Rothenfluh: Configuring elevator systems, International Journal of Human-Computer Studies (IJHCS), 44(3\/4):521\u2013568, 1996.","journal-title":"International Journal of Human-Computer Studies (IJHCS)"},{"unstructured":"Z. Zdrahal and E. Motta: An In-Depth Analysis of Propose & Revise Problem Solving' Methods. In Proceedings of the 9th Banff Knowledge Acquisition Workshop (KAW-95), Banff, Canada, January 26\u2013Feruary 3, 1995.","key":"8_CR42"}],"container-title":["Lecture Notes in Computer Science","Knowledge Acquisition, Modeling and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026781","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T23:05:29Z","timestamp":1706742329000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026781"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635925","9783540696063"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/bfb0026781","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}