{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,26]],"date-time":"2026-07-26T09:59:10Z","timestamp":1785059950797,"version":"3.55.0"},"reference-count":155,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1998,3,1]],"date-time":"1998-03-01T00:00:00Z","timestamp":888710400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Data & Knowledge Engineering"],"published-print":{"date-parts":[[1998,3]]},"DOI":"10.1016\/s0169-023x(97)00056-6","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T13:19:33Z","timestamp":1049721573000},"page":"161-197","source":"Crossref","is-referenced-by-count":2281,"title":["Knowledge engineering: Principles and methods"],"prefix":"10.1016","volume":"25","author":[{"given":"Rudi","family":"Studer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"V.Richard","family":"Benjamins","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dieter","family":"Fensel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/S0169-023X(97)00056-6_BIB1","series-title":"Proc. Workshop Knowledge-based Systems for Knowledge Management in Enterprises, 21st Annual German Conference on AI (KI'97)","author":"Abecker","year":"1977"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB2","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1006\/knac.1993.1005","article-title":"Formally specifying re-usable knowledge model components","volume":"5","author":"Aben","year":"1993","journal-title":"Knowledge Acquisition"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB3","article-title":"Formal Methods in Knowledge Engineering","author":"Aben","year":"1995"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB4","article-title":"Multiple Domain Models in Diagnostic Reasoning","author":"Abu-Hanna","year":"1994"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB5","series-title":"Proc. of the 10th Knowledge Acquisition for Knowledge-based Systems Workshop (KAW'96)","article-title":"Modeling problem-solving methods in NewKARL","author":"Angele","year":"1996"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB6","doi-asserted-by":"crossref","unstructured":"J. Angele, D. Fensel, R. Studer, Developing knowledge-based systems with MIKE, Journal of Automated Software Engineering, in press.","DOI":"10.1007\/978-1-4615-5613-8_2"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB7","series-title":"Domain Knowledge for Interactive System Design","article-title":"Domain and task modeling in MIKE","author":"Angele","year":"1996"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB8","series-title":"Knowledge Acquisition for Knowledge-based Systems, 7th European Workshop (EKAW'93)","article-title":"Steps in constructing problem-solving methods","author":"Akkermans","year":"1993"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB9","series-title":"Proc. 15th Intl. Joint Conf. on Artificial Intelligence (IJCAI '97)","first-page":"1246","article-title":"Par-KAP: A knowledge acquisition tool for building practical planning system","author":"Nunes de Barros","year":"1997"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB10","series-title":"3rd Intl. Conf. on Artificial Intelligence Planning Systems (AIPS-96)","first-page":"11","article-title":"Modeling Planning Tasks","author":"Nunes de Barros","year":"1996"},{"issue":"2\/3","key":"10.1016\/S0169-023X(97)00056-6_BIB11","doi-asserted-by":"crossref","first-page":"929","DOI":"10.1006\/ijhc.1995.1082","article-title":"On the relationship between ontology construction and natural language: A sociasemiotic view","volume":"43","author":"Bateman","year":"1995","journal-title":"International Journal of Human-Computer Studies"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB12","series-title":"Working Papers European Conference on Artificial Intelligence ECAI'94 Workshop on Implemented Ontologies","first-page":"35","article-title":"The Generalized Upper Model","author":"Bateman","year":"1994"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB13","article-title":"Problem Solving Methods for Diagnosis","author":"Benjamins","year":"1993"},{"issue":"2","key":"10.1016\/S0169-023X(97)00056-6_BIB14","first-page":"93","article-title":"Problem-solving methods for diagnosis and their role in knowledge acquisition","volume":"8","author":"Benjamins","year":"1995","journal-title":"International Journal of Expert Systems: Research and Applications"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB15","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1006\/ijhc.1997.0117","article-title":"Structure-preserving KBS development through reusable libraries: A case-study in diagnosis","volume":"47","author":"Benjamins","year":"1997","journal-title":"International Journal of Human-Computer Studies"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB16","series-title":"Advances in Knowledge Acquisition","article-title":"Ontology construction for technical domains","author":"Benjamin","year":"1996"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB17","series-title":"Proc. ECAI-96","first-page":"408","article-title":"Assumptions of problem-solving methods and their role in knowledge engineering","author":"Benjamins","year":"1996"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB18","series-title":"Advances in Knowledge Acquisition","first-page":"1","article-title":"Assumptions of problem-solving methods","author":"Benjamins","year":"1996"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB19","series-title":"Proc. 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop","first-page":"2.1","article-title":"Remedying the reusability-usability tradeoff for problem-solving methods","author":"Beys","year":"1996"},{"issue":"1","key":"10.1016\/S0169-023X(97)00056-6_BIB20","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1017\/S0269888900000047","article-title":"Knowledge acquisition tools with explicit problem-solving models","volume":"8","author":"Birmingham","year":"1993","journal-title":"The Knowledge Engineering Review"},{"issue":"5","key":"10.1016\/S0169-023X(97)00056-6_BIB21","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/2.59","article-title":"A spiral model of software development and enhancement","volume":"21","author":"Boehm","year":"1988","journal-title":"Computer"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB22","article-title":"Construction of Engineering Ontologies","author":"Borst","year":"1997"},{"issue":"2\/3","key":"10.1016\/S0169-023X(97)00056-6_BIB23","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1006\/ijhc.1996.0096","article-title":"Engineering ontologies","volume":"46","author":"Borst","year":"1997","journal-title":"Intl. Journal of Human-Computer Studies"},{"issue":"4","key":"10.1016\/S0169-023X(97)00056-6_BIB24","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/2.375178","article-title":"Ten commands of formal methods","volume":"28","author":"Bowen","year":"1995","journal-title":"IEEE Computer"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB25","series-title":"Proc. IJCAI-85","article-title":"An essential hybrid reasoning system: Knowledge and symbol level accounts of KRYPTON","author":"Brachman","year":"1985"},{"issue":"2","key":"10.1016\/S0169-023X(97)00056-6_BIB26","doi-asserted-by":"crossref","DOI":"10.1207\/s15516709cog0902_1","article-title":"An overview of the KL-ONE knowledge representation system","volume":"9","author":"Brachman","year":"1985","journal-title":"Cognitive Science"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB27","series-title":"A Future of Knowledge Acquisition, Proc. 8th European Knowledge Acquisition Workshop (EKAW '94)","article-title":"Components of problem solving and types of problems","author":"Breuker","year":"1994"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB28","series-title":"The CommonKADS Library For Expertise Modelling","article-title":"A suite of problem types","author":"Breuker","year":"1994"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB29","series-title":"The CommonKADS Library For Expertise Modelling","year":"1994"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB30","series-title":"On Conceptual Modeling","article-title":"On the development of data models","author":"Brodie","year":"1984"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB31","series-title":"AI and Statistic","article-title":"The Analysis Phase in Development of Knowledge-Based Systems","author":"Brooking","year":"1986"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB32","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(91)90005-5","article-title":"The Computational Complexity of Abduction","volume":"49","author":"Bylander","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB33","article-title":"Generic Tasks in Knowledge-based Reasoning: The Right Level of Abstraction for Knowledge Acquisition","volume":"Vol. 1","author":"Bylander","year":"1988"},{"issue":"3","key":"10.1016\/S0169-023X(97)00056-6_BIB34","first-page":"66","article-title":"CSRL, A language for classificatory problem solving","volume":"8","author":"Bylander","year":"1986","journal-title":"AI Magazine"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB35","first-page":"59","article-title":"Design problem solving: A task analysis","volume":"11","author":"Chandrasekaran","year":"1990","journal-title":"AI Magazine"},{"issue":"3","key":"10.1016\/S0169-023X(97)00056-6_BIB36","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/MEX.1986.4306977","article-title":"Generic tasks in knowledge-based reasoning: High-level building blocks for export system design","volume":"1","author":"Chandrasekaran","year":"1986","journal-title":"IEEE Expert"},{"issue":"9","key":"10.1016\/S0169-023X(97)00056-6_BIB37","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1145\/130994.131002","article-title":"Task structure analysis for knowledge modeling","volume":"35","author":"Chandrasekaran","year":"1992","journal-title":"Comms. of the ACM"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB38","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/0004-3702(83)90008-5","article-title":"The Epistemology of a rule-based expert system\u2014a framework for explanation","volume":"20","author":"Clancey","year":"1983","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB39","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0004-3702(85)90016-5","article-title":"Heuristic classification","volume":"27","author":"Clancey","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB40","series-title":"Current Issues in Expert Systems","article-title":"From Guidon to Neomycin and Heracles in twenty short lessons","author":"Clancey","year":"1987"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB41","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/BF00130715","article-title":"The knowledge level reinterpreted: Modeling how systems interact","volume":"4","author":"Clancey","year":"1989","journal-title":"Machine Learning"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB42","series-title":"Knowledge Acquisition, Modeling, and Management, 10th European Workshop (EKAW'97)","article-title":"Compositional verification of knowledge-based systems: A case study for diagnostic reasoning","author":"Cornelissen","year":"1997"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB43","series-title":"Second Generation Expert Systems","year":"1993"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB44","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0004-3702(77)90003-0","article-title":"Production rules as a representation for a knowledge-base consultation program","volume":"8","author":"Davis","year":"1977","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB45","series-title":"Knowledge Acquisition, Modeling, and Management, 10th European Workshop (EKAW'97)","article-title":"An enterprise reference scheme for integrating model-based knowledge engineering and enterprise modeling","author":"Decker","year":"1997"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB46","series-title":"Fundamentals of Algebraic Specifications 1","year":"1985"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB47","series-title":"Fundamentals of Algebraic Specifications 2","year":"1990"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB48","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0164-1212(92)90023-D","article-title":"A survey of knowledge acquisition techniques and tools and their relationship to software engineering","volume":"19","author":"Eriksson","year":"1992","journal-title":"Journal of Systems and Software"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB49","series-title":"PCPACK Portable KA Toolkit","author":"Epistemics","year":"1995"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB50","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1006\/ijhc.1994.1067","article-title":"Generation of knowledge acquisition tools from domain ontologies","volume":"41","author":"Eriksson","year":"1994","journal-title":"Int. J. Human-Computer Studies"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB51","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/0004-3702(94)00040-9","article-title":"Task modeling with reusable problem-solving methods","volume":"79","author":"Eriksson","year":"1995","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB52","doi-asserted-by":"crossref","first-page":"707","DOI":"10.1006\/ijhc.1996.0121","article-title":"The Ontolingua server: A tool for collaborative ontology construction","volume":"46","author":"Farquhar","year":"1977","journal-title":"Intl. J. Human-Computer Studies"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB53","series-title":"The Knowledge Acquisition and Representation Language KARL","author":"Fensel","year":"1995"},{"issue":"4","key":"10.1016\/S0169-023X(97)00056-6_BIB54","doi-asserted-by":"crossref","DOI":"10.1017\/S0269888900007566","article-title":"Formal specification languages in knowledge and software engineering","volume":"10","author":"Fensel","year":"1995","journal-title":"The Knowledge Engineering Review"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB55","doi-asserted-by":"crossref","unstructured":"D. Fensel, J. Angele, R. Studer, The knowledge acquisition and representation language KARL, IEEE Transactions on Knowledge and Data Engineering, in press.","DOI":"10.1007\/978-1-4615-2275-1"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB56","series-title":"Proc. 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop","first-page":"5.1","article-title":"Assumptions in model-based diagnosis","author":"Fensel","year":"1996"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB57","series-title":"Proc. 11th Workshop on Knowledge Acquisition, Modeling and Management (KAW '98)","article-title":"Ontobroker: Transforming the WWW into a Knowledge Base","author":"Fensel","year":"1998"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB58","series-title":"Proc. 9th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE '97)","first-page":"349","article-title":"Specifying knowledge-based systems with reusable components","author":"Fensel","year":"1997"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB59","series-title":"Proc. 12th IEEE Intl. Conf. on Automated Software Engineering (ASEC-97)","article-title":"Using KIV to specify and verify architectures of knowledge-based systems","author":"Fensel","year":"1997"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB60","series-title":"Advances in Knowledge Acquisition","article-title":"The essence of problem-solving methods: Making assumptions for efficiency reasons","author":"Fensel","year":"1996"},{"issue":"2","key":"10.1016\/S0169-023X(97)00056-6_BIB61","doi-asserted-by":"crossref","DOI":"10.1017\/S0269888900006767","article-title":"A comparison of languages which operationalize and formalize KADS models of expertise","volume":"9","author":"Fensel","year":"1994","journal-title":"The Knowledge Engineering Review"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB62","series-title":"Proc. of the Industrial Engineering Research Conference","article-title":"A common-sense model of the enterprise","author":"Fox","year":"1993"},{"issue":"3","key":"10.1016\/S0169-023X(97)00056-6_BIB63","first-page":"53","article-title":"The state of the art in ontology design","volume":"18","author":"Fridman-Noy","year":"1977","journal-title":"AI Magazine"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB64","series-title":"Working Notes AAAI-97 Spring Symposium Artificial Intelligence in Knowledge Management","year":"1977"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB65","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/S0020-7373(80)80038-1","article-title":"New directions in the analysis and interactive elicitation of personal construct systems","volume":"13","author":"Gaines","year":"1980","journal-title":"Int. J. Man-Machine Studies"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB66","series-title":"The Epikit Manual","year":"1992"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB67","article-title":"Knowledge Interchange Format","author":"Genesereth","year":"1992"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB68","series-title":"Proc. ACM SIGMOD Conf.","article-title":"Infomaster: An information integration system","author":"Genesereth","year":"1997"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB69","series-title":"Proc. Symp. on Software Reuse","article-title":"Reuse with PROT\u00c9G\u00c9-II: From elevators to ribosomes","author":"Gennari","year":"1995"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB70","series-title":"Proc. 10th Knowledge Acquisition for Knowledge-based Systems Workshop","article-title":"Reuse for knowledge-based systems and CORBA components","author":"Gennari","year":"1996"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB71","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1006\/ijhc.1994.1066","article-title":"Mappings domains to methods in support of reuse","volume":"41","author":"Gennari","year":"1994","journal-title":"Int. J. on Human-Computer Studies"},{"issue":"2","key":"10.1016\/S0169-023X(97)00056-6_BIB72","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1006\/knac.1994.1009","article-title":"Towards method-independent knowledge acquisition","volume":"6","author":"Gil","year":"1994","journal-title":"Knowledge Acquisition"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB73","series-title":"Working Notes of the Workshop on Ontological Engineering, ECAI'96","first-page":"41","article-title":"Towards a method to conceptualize domain ontologies","author":"Gomez-Perez","year":"1996"},{"issue":"2","key":"10.1016\/S0169-023X(97)00056-6_BIB74","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1006\/knac.1993.1008","article-title":"A translation approach to portable ontology specifications","volume":"5","author":"Gruber","year":"1993","journal-title":"Knowledge Acquisition"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB75","doi-asserted-by":"crossref","first-page":"907","DOI":"10.1006\/ijhc.1995.1081","article-title":"Towards principles for the design of ontologies used for knowledge sharing","volume":"43","author":"Gruber","year":"1995","journal-title":"Int. J. Human-Computer Studies"},{"issue":"2\/3","key":"10.1016\/S0169-023X(97)00056-6_BIB76","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1006\/ijhc.1995.1066","article-title":"Formal ontology, conceptual analysis and knowledge representation","volume":"43","author":"Guarino","year":"1995","journal-title":"Intl. J. Human-Computer Studies"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB77","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-6259-0_10","article-title":"Dynamic logic","author":"Harel","year":"1984"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB78","article-title":"Structure-preserving specification languages for knowledge-based systems","volume":"44","author":"van Harmelen","year":"1996","journal-title":"Intl. J. Human-Computer Studies"},{"issue":"1","key":"10.1016\/S0169-023X(97)00056-6_BIB79","doi-asserted-by":"crossref","DOI":"10.1016\/1042-8143(92)90017-U","article-title":"(ML)2, a formal language for KADS conceptual models","volume":"4","author":"van Harmelen","year":"1992","journal-title":"Knowledge Acquisition"},{"issue":"2","key":"10.1016\/S0169-023X(97)00056-6_BIB80","article-title":"Formal methods in knowledge engineering","volume":"9","author":"van Harmelen","year":"1994","journal-title":"The Knowledge Engineering Review"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB81","series-title":"Building Expert Systems","author":"Hayes-Roth","year":"1983"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB82","series-title":"Systematic Software Development Using VDM","author":"Jones","year":"1990"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB83","series-title":"The Psychology of Personal Constructs","author":"Kelly","year":"1955"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB84","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1145\/210332.210335","article-title":"Logical Foundations of Object-Oriented and Frame-Based Languages","volume":"42","author":"Kifer","year":"1995","journal-title":"Journal of the ACM"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB85","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/1042-8143(91)90001-4","article-title":"Usable and reusable programming constructs","volume":"3","author":"Klinker","year":"1991","journal-title":"Knowledge Acquisition"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB86","series-title":"Proc. AAAI-94","article-title":"Building a large knowledge base for machine translation","author":"Knight","year":"1994"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB87","series-title":"Working Papers European Conference on Artificial Intelligence ECAI'94 Workshop on Implemented Ontologies","first-page":"141","article-title":"An ontology for the conservation of corporate knowledge about crankshaft design","author":"K\u00fchn","year":"1994"},{"issue":"8","key":"10.1016\/S0169-023X(97)00056-6_BIB88","article-title":"Corporate memories for knowledge management in industrial practice: Prospects and challenges","volume":"3","author":"Kuhn","year":"1977","journal-title":"J. of Universal Computer Science"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB89","series-title":"Proc. 6th Intl. Conf. on Software Engineering and Knowledge Engineering (SEKE'94)","first-page":"78","article-title":"DesignKARL\u2014A Language for the design of knowledge-based systems","author":"Landes","year":"1994"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB90","series-title":"Proc. of the 5th European Software Engineering Conference (ESEC'95)","article-title":"The treatment of non-functional requirements in MIKE","author":"Landes","year":"1995"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB91","series-title":"Proc. 10th European Conf. on Artificial Intelligence (ECAI-92)","article-title":"Formal specification of compositional architectures","author":"van Langevelde","year":"1992"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB92","series-title":"Formal Specification of Complex Reasoning Systems","article-title":"A compositional architecture for simple design formally specified in DESIRE","author":"van Langevelde","year":"1993"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB93","series-title":"Building Large Knowledge-Based Systems: Representation and Inference in the CYC Project","author":"Lenat","year":"1990"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB94","series-title":"Representation and Inference in the Cyc Project","author":"Lenat","year":"1990"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB95","series-title":"Proc. 1st Int. Conf. on Autonomous Agents","article-title":"Ontology-based web agents","author":"Luke","year":"1977"},{"issue":"2","key":"10.1016\/S0169-023X(97)00056-6_BIB96","doi-asserted-by":"crossref","DOI":"10.1017\/S0269888900006238","article-title":"Overview of current practice and research initiatives for the verification and validation of KBS","volume":"7","author":"Lydiard","year":"1992","journal-title":"The Knowledge Engineering Review"},{"issue":"3","key":"10.1016\/S0169-023X(97)00056-6_BIB97","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/122296.122309","article-title":"Inside the LOOM classifier","volume":"2","author":"MacGregor","year":"1991","journal-title":"SIGART Bulletin"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB98","series-title":"Domain Knowledge for interactive System Design","article-title":"Acquiring requirements: A domain-specific approach","author":"Maiden","year":"1996"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB99","series-title":"Automating Knowledge Acquisition for Experts Systems","year":"1988"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB100","series-title":"Automating Knowledge Acquisition for Experts Systems","article-title":"SALT: A knowledge acquisition tool for propose-and-revise systems","author":"Marcus","year":"1988"},{"issue":"1","key":"10.1016\/S0169-023X(97)00056-6_BIB101","first-page":"95","article-title":"VT: An expert elevator configurer that uses knowledge-based backtracking","volume":"9","author":"Marcus","year":"1988","journal-title":"AI Magazine"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB102","series-title":"Automating Knowledge Acquisition for Experts Systems","article-title":"Preliminary steps toward a taxonomy of problem-solving methods","author":"McDermott","year":"1988"},{"issue":"4","key":"10.1016\/S0169-023X(97)00056-6_BIB103","doi-asserted-by":"crossref","DOI":"10.1017\/S0269888900007542","article-title":"Verification and validation of knowledge-based systems with formal specifications","volume":"10","author":"Meseguer","year":"1995","journal-title":"The Knowledge Engineering Review"},{"issue":"4","key":"10.1016\/S0169-023X(97)00056-6_BIB104","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1093\/ijl\/3.4.235","article-title":"WORDNET: An online lexical database","volume":"3","author":"Miller","year":"1990","journal-title":"Intl. Journal of Lexicography"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB105","series-title":"Research Report CMU-CS-92-169","article-title":"A specification of the Soar cognitive architecture in Z","author":"Milnes","year":"1992"},{"issue":"1","key":"10.1016\/S0169-023X(97)00056-6_BIB106","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/S1042-8143(05)80021-4","article-title":"Underlying assumptions of knowledge acquisition as a process of model refinement","volume":"2","author":"Morik","year":"1990","journal-title":"Knowledge Acquisition"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB107","series-title":"Proc. 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop","first-page":"9.1","article-title":"Parametric design problem solving","author":"Motta","year":"1996"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB108","series-title":"Second Generation Expert Systems","article-title":"An overview of knowledge acquisition","author":"Musen","year":"1993"},{"issue":"5","key":"10.1016\/S0169-023X(97)00056-6_BIB109","first-page":"28","article-title":"Cooperative information systems, Guest editors' introduction","volume":"12","author":"Myplopoulos","year":"1997","journal-title":"IEEE Intelligent Systems"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB110","series-title":"Principles of Knowledge Representation","article-title":"Artificial intelligence: A computational perspective","author":"Nebel","year":"1996"},{"issue":"3","key":"10.1016\/S0169-023X(97)00056-6_BIB111","first-page":"36","article-title":"Enabling technology for knowledge sharing","volume":"12","author":"Neches","year":"1991","journal-title":"AI Magazine"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB112","series-title":"Knowledge Acquisition for Knowledge-based Systems, Proc. 7th European Workshop (EKAW'93)","article-title":"Model construction in MIKE","author":"Neubert","year":"1993"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB113","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(82)90012-1","article-title":"The knowledge level","volume":"18","author":"Newell","year":"1982","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB114","series-title":"The Essential Distributed Objects Survival Guide","year":"1996"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB115","article-title":"Knowledge modelling with libraries of task decomposition methods","author":"Orsv\u00e4rn","year":"1996"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB116","series-title":"Advances in Knowledge Acquisition","article-title":"Principles for libraries of task decomposition methods\u2014Conclusions from a case-study","author":"Orsv\u00e4rn","year":"1996"},{"issue":"2","key":"10.1016\/S0169-023X(97)00056-6_BIB117","article-title":"An algebraic specification of the dynamic beaviour of knowledge-based systems","volume":"11","author":"Pierret-Golbreich","year":"1996","journal-title":"The Knowledge Engineering Review"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB118","series-title":"Proc. 9th Intl. Conf. on Software Engineering & Knowledge Engineering (SEKE-97)","article-title":"Toward automated component adaption","author":"Penix","year":"1997"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB119","series-title":"Proc. 12th IEEE Intl. Conf. on Automated Software Engineering (ASEC-97)","article-title":"Declarative specifications of software architectures","author":"Penix","year":"1997"},{"issue":"44","key":"10.1016\/S0169-023X(97)00056-6_BIB120","article-title":"Special issue on verification and validation","author":"Plant","year":"1996","journal-title":"Intl. J. Human-Computer Studies (IJHCS)"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB121","series-title":"Knowledge Acquisition for Knowledge-Based Systems, Proc. 7th European Knowledge Acquisition Workshop (EKAW'93)","article-title":"Making role-limiting shells more flexible","author":"Poeck","year":"1993"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB122","doi-asserted-by":"crossref","DOI":"10.1002\/int.4550090804","article-title":"Foundations and applications of knowledge base verification","volume":"9","author":"Preece","year":"1994","journal-title":"Intl. Journal of Intelligent Systems"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB123","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/1042-8143(92)90025-V","article-title":"A multiple-method knowledge acquisition shell for the automatic generation of knowledge acquisition tools","volume":"4","author":"Puerta","year":"1992","journal-title":"Knowledge Acquisition"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB124","series-title":"Systematic Introduction to Expert Systems: Knowledge Representation and Problem-Solving Methods","author":"Puppe","year":"1993"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB125","series-title":"Object-Oriented Modelling and Design","author":"Rumbaugh","year":"1991"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB126","series-title":"Interoperable Database Systems (DS-5)","article-title":"Overcoming schematic discrepancies in interoperable databases","author":"Saltor","year":"1993"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB127","series-title":"A Future of Knowledge Acquisition, Proc. 8th European Knowledge Acquisition Workshop (EKAW'94)","article-title":"CML: The CommonKADS conceptual modeling language","author":"Schreiber","year":"1994"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB128","series-title":"KADS. A Principled Approach to Knowledge-Based System Development","volume":"Vol. 11","year":"1993"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB129","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/64.363263","article-title":"CommonKADS: A comprehensive methodology for KBS development","author":"Schreiber","year":"1994","journal-title":"IEEE Expert"},{"issue":"6","key":"10.1016\/S0169-023X(97)00056-6_BIB130","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/52.241964","article-title":"Constructing knowledge-based systems","volume":"10","author":"Shadbolt","year":"1993","journal-title":"IEEE Software"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB131","series-title":"Advanced Information Systems Engineering","article-title":"The synthesis of knowledge engineering and software engineering","author":"Shaw","year":"1992"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB132","series-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"Shaw","year":"1996"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB133","series-title":"Proc. 5th Intl. Conf. on Algebraic Methodology and Software Technology (AMAST-96)","article-title":"Towards a classification approach to design","author":"Smith","year":"1996"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB134","doi-asserted-by":"crossref","DOI":"10.1006\/knac.1994.1018","article-title":"The semantics of KBSSF: A language for KBS design","volume":"6","author":"Spee","year":"1994","journal-title":"Knowledge Acquisition"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB135","author":"Spivey","year":"1992"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB136","series-title":"Second Generation Expert Systems","article-title":"The componential framework and its role in reusability","author":"Steels","year":"1993"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB137","series-title":"Proc. of the 10th Knowledge Acquisition for Knowledge-based Systems Workshop","article-title":"Ontologies and the configuration of problem-solving methods","author":"Studer","year":"1996"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB138","series-title":"Proc. 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop","first-page":"32.1","article-title":"Toward distributed use of large-scale ontologies","author":"Swartout","year":"1996"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB139","article-title":"Automated configuration of problem solving methods in diagnosis","author":"ten Teije","year":"1977"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB140","series-title":"Second Generation Expert Systems","article-title":"Knowledge acquisition support through generalised directive models","author":"Terpstra","year":"1993"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB141","author":"Towe","year":"1995"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB142","series-title":"Logic Program Synthesis and Transformation\u2014Meta Programming in Logic, Proc. 4th Intl. Workshops, LOPSTER-94 and META-94","article-title":"Temporal semantics of meta-level architectures for dynamic control of reasoning","author":"Treur","year":"1994"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB143","series-title":"Formal Specification of Complex Reasoning Systems","year":"1993"},{"issue":"2","key":"10.1016\/S0169-023X(97)00056-6_BIB144","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1017\/S0269888900007797","article-title":"Ontologies: principles, methods, and applications","volume":"11","author":"Uschold","year":"1996","journal-title":"Knowledge Engineering Review"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB145","series-title":"Knowledge Acquisition for Knowledge-based Systems, Proc. 7th European Workshop (EKAW'93)","article-title":"Organization as guidance: A library of assessment models","author":"Valente","year":"1993"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB146","series-title":"Working Papers European Conference on Artificial Intelligence ECAI'94 Workshop on Implemented Ontologies","first-page":"187","article-title":"The Plinius ontology of ceramic materials","author":"van de Vet","year":"1994"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB147","article-title":"The role of ontologies in knowledge engineering","author":"van Heijst","year":"1995"},{"issue":"2\/3","key":"10.1016\/S0169-023X(97)00056-6_BIB148","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1006\/ijhc.1996.0090","article-title":"Using explicit ontologies in KBS development","volume":"46","author":"van Heijst","year":"1997","journal-title":"Intl. J. Human-Computer Studies"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB149","series-title":"Proc. 10th Knowledge Acquisition for Knowledge-based Systems Workshop","article-title":"Organizing corporate memories","author":"van Heijst","year":"1996"},{"issue":"3","key":"10.1016\/S0169-023X(97)00056-6_BIB150","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.121508","article-title":"Mediators in the architecture of future information systems","volume":"25","author":"Wiederhold","year":"1992","journal-title":"IEEE Computer"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB151","article-title":"Intelligent integration of information","author":"Wiederhold","year":"1996","journal-title":"Journal of Intelligent Information Systems, Special Issue on Intelligent Integration of Information"},{"issue":"5","key":"10.1016\/S0169-023X(97)00056-6_BIB152","first-page":"38","article-title":"The Conceptual basis for mediation services","volume":"12","author":"Wiederhold","year":"1997","journal-title":"IEEE Intelligent Systems"},{"issue":"1","key":"10.1016\/S0169-023X(97)00056-6_BIB153","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/1042-8143(92)90013-Q","article-title":"KADS: A modelling approach to knowledge engineering","volume":"4","author":"Wielinga","year":"1992","journal-title":"Knowledge Acquisition"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB154","doi-asserted-by":"crossref","DOI":"10.1016\/B978-0-444-88074-1.50018-4","article-title":"Algebraic specification","author":"Wirsing","year":"1990"},{"key":"10.1016\/S0169-023X(97)00056-6_BIB155","series-title":"Modern Structured Analysis","author":"Yourdon","year":"1989"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X97000566?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X97000566?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T19:53:52Z","timestamp":1556654032000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0169023X97000566"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,3]]},"references-count":155,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1998,3]]}},"alternative-id":["S0169023X97000566"],"URL":"https:\/\/doi.org\/10.1016\/s0169-023x(97)00056-6","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[1998,3]]}}}