Knowledge Engineering: Principles and methods

Data and Knowledge Engineering

Volumn 25, Issue 1-2, 1998, Pages 161-197

  Studer, Rudi ^a   Benjamins, V Richard ^b,c,d   Fensel, Dieter ^a,e,f  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b CSIC   (Spain)

^c UNIVERSITY OF AMSTERDAM   (Netherlands)

^d ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

^e Research Group of Rudi Studer   (Germany)

^f SWI Department   (Netherlands)

Author keywords

Information integration; Knowledge acquisition; Knowledge Engineering; Ontology; Problem solving method

Indexed keywords

COMPUTER SOFTWARE; INFORMATION MANAGEMENT; KNOWLEDGE ACQUISITION; KNOWLEDGE BASED SYSTEMS; PROBLEM ORIENTED LANGUAGES; PROBLEM SOLVING;

KNOWLEDGE MANAGEMENT;

KNOWLEDGE ENGINEERING;

EID: 0032026995     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(97)00056-6     Document Type: Article

References (155)

1. A. Abecker, S. Decker, K. Hinkelmann, U. Reimer, Proc. Workshop Knowledge-based Systems for Knowledge Management in Enterprises, 21st Annual German Conference on AI (KI'97), Freiburg, 1977; URL: http://www.dfki.uni-kl.de/km/ws-ki-97.html
2. M. Aben, Formally specifying re-usable knowledge model components, Knowledge Acquisition 5 (1993) 119-141.
3. M. Aben, Formal Methods in Knowledge Engineering, PhD Thesis (University of Amsterdam, Amsterdam, The Netherlands, 1995).
4. A. Abu-Hanna, Multiple Domain Models in Diagnostic Reasoning, PhD Thesis (University of Amsterdam, Amsterdam, The Netherlands, 1994).
5. J. Angele, S. Decker, R. Perkuhn, R. Studer, Modeling problem-solving methods in NewKARL, in Proc. of the 10th Knowledge Acquisition for Knowledge-based Systems Workshop (KAW'96), Banff, 1996.
6. J. Angele, D. Fensel, R. Studer, Developing knowledge-based systems with MIKE, Journal of Automated Software Engineering, in press.
7. J. Angele, D. Fensel, R. Studer, Domain and task modeling in MIKE, in A. Sutcliffe et al. (eds), Domain Knowledge for Interactive System Design (Chapman & Hall, 1996).
8. H. Akkermans, B. Wielinga, A.Th. Schreiber, Steps in constructing problem-solving methods, in: N. Aussenac et al., eds., Knowledge Acquisition for Knowledge-based Systems, 7th European Workshop (EKAW'93), Toulouse, Lecture Notes in AI 723 (Springer-Verlag, 1993).
9. L. Nunes de Barrros, J. Hendler, V.R. Benjamins, Par-KAP: A knowledge acquisition tool for building practical planning system, in Proc. 15th Intl. Joint Conf. on Artificial Intelligence (IJCAI '97), Japan, 1997, (Morgan Kaufmann) pp. 1246-1251.
10. L. Nunes de Barros, A. Valente, V.R. Benjamins, Modeling Planning Tasks, in 3rd Intl. Conf. on Artificial Intelligence Planning Systems (AIPS-96), (American Association of Artificial Intelligence (AAAI), 1996) pp. 11-18.
11. J.A. Bateman, On the relationship between ontology construction and natural language: A sociasemiotic view, International Journal of Human-Computer Studies 43(2/3) (1995) 929-944.
12. J.A. Bateman, B. Magini, F. Rinaldi, The Generalized Upper Model, in: N.J.I. Mars (ed.), Working Papers European Conference on Artificial Intelligence ECAI'94 Workshop on Implemented Ontologies, (Amsterdam, 1994) pp. 35-45.
13. V.R. Benjamins, Problem Solving Methods for Diagnosis, PhD Thesis (University of Amsterdam, Amsterdam, The Netherlands, 1993).
14. V.R. Benjamins, Problem-solving methods for diagnosis and their role in knowledge acquisition, International Journal of Expert Systems: Research and Applications 8(2) (1995) 93-120.
15. V.R. Benjamins, M. Aben, Structure-preserving KBS development through reusable libraries: A case-study in diagnosis, International Journal of Human-Computer Studies, 47 (1997) 259-288.
16. J. Benjamin, P. Borst, H. Akkermans, B. Wielinga, Ontology construction for technical domains, in N. Shadbolt et al. (eds.), Advances in Knowledge Acquisition, Lecture Notes in Artificial Intelligence 1076 (Springer-Verlag, Berlin, 1996).
17. V.R. Benjamins, D. Fensel, R. Straatman, Assumptions of problem-solving methods and their role in knowledge engineering, in: W. Wahlster (ed.). Proc. ECAI-96, (J. Wiley & Sons, 1996) pp. 408-412.
18. V.R. Benjamins, C. Pierret-Golbreich, Assumptions of problem-solving methods, in: N. Shadbolt et al. (eds), Advances in Knowledge Acquisition, Lecture Notes in Artificial Intelligence 1076 (Springer-Verlag, Berlin, 1996) pp. 1-16.
19. P. Beys, V.R. Benjamins, G. van Heijst, Remedying the reusability-usability tradeoff for problem-solving methods, in: B.R. Gaines and M.A. Musen (eds.), Proc. 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Alberta, Canada, 1996 (SRDG Publications, University of Calgary), pp. 2.1-2.20.; http://ksi.cpsc.ucalgary.ca:80/KAW/KAW96/KAW96Proc.html
20. W. Birmingham, G. Klinker, Knowledge acquisition tools with explicit problem-solving models, The Knowledge Engineering Review 8(1) (1993) 5-25.
21. B.W. Boehm, A spiral model of software development and enhancement, Computer 21(5) (May 1988) 61-72.
22. W.N. Borst, Construction of Engineering Ontologies, PhD Thesis, (University of Twente, Enschede, 1997).
23. W.N. Borst, J.M. Akkermans, Engineering ontologies, Intl. Journal of Human-Computer Studies 46(2/3) (1997) 365-406.
24. J.P. Bowen, M.G. Hinchey, Ten commands of formal methods, IEEE Computer 28(4) (1995) 56-63.
25. R.J. Brachman, V.P. Gilbert, H.J. Levesque, An essential hybrid reasoning system: Knowledge and symbol level accounts of KRYPTON, in Proc. IJCAI-85 (1985).
26. R.J. Brachman, J. Schmolze, An overview of the KL-ONE knowledge representation system, Cognitive Science 9(2) (1985).
27. J. Breuker, Components of problem solving and types of problems, in: Steels et al. (eds.), A Future of Knowledge Acquisition, Proc. 8th European Knowledge Acquisition Workshop (EKAW '94), Hoegaarden, Lecture Notes in Artificial Intelligence 867, Springer-Verlag, 1994.
28. J. Breuker, A suite of problem types, in: J. A. Breuker, W. van de Velde (eds.), The CommonKADS Library For Expertise Modelling (IOS Press, Amsterdam, 1994).
29. J. A. Breuker, W. van de Velde (eds.), The CommonKADS Library For Expertise Modelling (IOS Press, Amsterdam, 1994).
30. M. L. Brodie, On the development of data models, in: Brodie et al., (eds.), On Conceptual Modeling Springer-Verlag, Berlin, 1984.
31. A. G. Brooking, The Analysis Phase in Development of Knowledge-Based Systems, in: W. A. Gale, ed., AI and Statistic, Addison-Wesley Publishing Company, Reading, Massachusetts, 1986.
32. T. Bylander, D. Allemang, M.C. Tanner, J.R. Josephon, The Computational Complexity of Abduction, Artificial Intelligence 49, 1991.
33. T. Bylander, B. Chandrasekaran, Generic Tasks in Knowledge-based Reasoning: The Right Level of Abstraction for Knowledge Acquisition, in: B. Gaines, J. Boose, eds., Knowledge Acquisition for Knowledge Based Systems, Vol. 1, Academic Press, London, 1988.
34. T. Bylander, S. Mittal, CSRL, A language for classificatory problem solving, AI Magazine 8, 3, 1986, 66-77.
35. B. Chandrasekaran, Design problem solving: A task analysis, AI Magazine, 11 (1990) 59-71.
36. B. Chandrasekaran, Generic tasks in knowledge-based reasoning: High-level building blocks for expert system design, IEEE Expert 1(3) (1986) 23-30.
37. B. Chandrasekaran, T.R. Johnson, J. W. Smith, Task structure analysis for knowledge modeling, Comms. of the ACM 35(9) (1992) 124-137.
38. W.J. Clancey, The Epistemology of a rule-based expert system - a framework for explanation, Artificial Intelligence 20 (1983) 215-251.
39. W.J. Clancey, Heuristic classification, Artificial Intelligence 27 (1985) 289-350.
40. W.J. Clancey, From Guidon to Neomycin and Heracles in twenty short lessons, in A. van Lamsweerde (ed.), Current Issues in Expert Systems (Academic Press, 1987).
41. W.J. Clancey, The knowledge level reinterpreted: Modeling how systems interact, Machine Learning 4 (1989) 285-291.
42. F. Cornelissen, C.M. Jonker, J. Treur, Compositional verification of knowledge-based systems: A case study for diagnostic reasoning, in E. Plaza, R. Benjamins (eds.), Knowledge Acquisition, Modeling, and Management, 10th European Workshop (EKAW'97), Sant Feliu de Guixols, Lecture Notes in Artificial Intelligence 1319, Springer-Verlag, 1997.
43. J.-M. David, J.-P. Krivine, R. Simmons (eds.), Second Generation Expert Systems (Springer-Verlag, Berlin, 1993).
44. R. Davis, B. Buchanan, E.H. Shortcliffe, Production rules as a representation for a knowledge-base consultation program, Artificial Intelligence 8 (1977) 15-45.
45. S. Decker, M. Daniel, M. Erdmann, R. Studer, An enterprise reference scheme for integrating model-based knowledge engineering and enterprise modeling, in E. Plaza, R. Benjamins (eds.), Knowledge Acquisition, Modeling, and Management, 10th European Workshop (EKAW'97), Sant Feliu de Guixols, Lecture Notes in Artificial Intelligence 1319 (Springer-Verlag, 1997).
46. H. Ehrig, B. Mahr (eds.), Fundamentals of Algebraic Specifications 1 (Springer-Verlag, Berlin, 1985).
47. H. Ehrig, B. Mahr (eds.), Fundamentals of Algebraic Specifications 2 (Springer-Verlag, Berlin, 1990).
48. H. Eriksson, A survey of knowledge acquisition techniques and tools and their relationship to software engineering, Journal of Systems and Software 19 (1992) 97-107.
49. Epistemics, PCPACK Portable KA Toolkit (1995).
50. H. Eriksson, A.R. Puerta, M.A. Musen, Generation of knowledge acquisition tools from domain ontologies, Int. J. Human-Computer Studies 41 (1994) 425-453.
51. H. Eriksson, Y. Shahar, S.W. Tu, A.R. Puerta, M.A. Musen, Task modeling with reusable problem-solving methods, Artificial Intelligence 79 (1995) 293-326.
52. A. Farquhar, R. Fikes, J. Rice, The Ontolingua server: A tool for collaborative ontology construction, Intl. J. Human-Computer Studies 46 (1977) 707-728.
53. D. Fensel, The Knowledge Acquisition and Representation Language KARL, (Kluwer Academic, Boston, 1995).
54. D. Fensel, Formal specification languages in knowledge and software engineering, The Knowledge Engineering Review 10(4) (1995).
55. D. Fensel, J. Angele, R. Studer, The knowledge acquisition and representation language KARL, IEEE Transactions on Knowledge and Data Engineering, in press.
56. D. Fensel, V.R. Benjamins, Assumptions in model-based diagnosis, in: B.R. Gaines, M.A. Musen, (eds.), Proc. 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Alberta, Canada, 1996, (SRDG Publications, University of Calgary) pp. 5.1-5.18. http://ksi.cpsc.ucalgary.ca:80/KAW/KAW96/KAW96Proc.html
57. D. Fensel, S. Decker, M. Erdmann, R. Studer, Ontobroker: Transforming the WWW into a Knowledge Base, in: Proc. 11th Workshop on Knowledge Acquisition, Modeling and Management (KAW '98), Banff, 1998.
58. D. Fensel, R. Groenboom, Specifying knowledge-based systems with reusable components, in Proc. 9th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE '97), Madrid, 1997, pp. 349-357.
59. D. Fensel, A. Schönegge, Using KIV to specify and verify architectures of knowledge-based systems, in Proc. 12th IEEE Intl. Conf. on Automated Software Engineering (ASEC-97), Incline Village, Nevada (November 1997).
60. D. Fensel, R. Straatman, The essence of problem-solving methods: Making assumptions for efficiency reasons, in N. Shadbolt et al., (eds.), Advances in Knowledge Acquisition, Lecture Notes in Artificial Intelligence (LNAI) 1076 (Springer-Verlag, Berlin, 1996).
61. D. Fensel, F. van Harmelen, A comparison of languages which operationalize and formalize KADS models of expertise, The Knowledge Engineering Review 9(2) (1994).
62. M.S. Fox, J. Chionglo, F. Fadel, A common-sense model of the enterprise, in Proc. of the Industrial Engineering Research Conference (1993).
63. N. Fridman-Noy, C.D. Hafner, The state of the art in ontology design, AI Magazine, 18(3) (1977) 53-74.
64. B. Gaines et al. (eds.), Working Notes AAAI-97 Spring Symposium Artificial Intelligence in Knowledge Management (Stanford, March 1977).
65. B. Gaines, M.L.G. Shaw, New directions in the analysis and interactive elicitation of personal construct systems, Int. J. Man-Machine Studies 13 (1980) 81-116.
66. M.R. Genesereth (ed.), The Epikit Manual (Epistmemics, Palo Alto, CA, 1992).
67. M.R. Genesereth, R.E. Fikes, Knowledge Interchange Format, Version 3.0, Reference Manual, Technical Report, Logic-92-1 (Computer Science Dept., Stanford University, 1992); http://www.es.umbc.edu/kse/.
68. M.R. Genesereth, A.M. Keller, O.M. Duschka, Infomaster: An information integration system, in Proc. ACM SIGMOD Conf. Tucson, 1997.
69. J.H. Gennari, R.B. Altman, M.A. Musen, Reuse with PROTÉGÉ-II: From elevators to ribosomes, in Proc. Symp. on Software Reuse, Seattle, 1995.
70. J.H. Gennari, A.R. Stein, M.A. Musen, Reuse for knowledge-based systems and CORBA components, in Proc. 10th Knowledge Acquisition for Knowledge-based Systems Workshop, Banff, 1996.
71. J.H. Gennari, S.W. Tu, T.E. Rothenfluh, M.A. Musen, Mappings domains to methods in support of reuse, Int. J. on Human-Computer Studies 41 (1994) 399-424.
72. Y. Gil, C. Paris, Towards method-independent knowledge acquisition, Knowledge Acquisition 6(2) (1994) 163-178.
73. A. Gomez-Perez, A. Fernandez, M. De Vicente, Towards a method to conceptualize domain ontologies, in Working Notes of the Workshop on Ontological Engineering, ECAI'96, ECCAI, 1996, pp. 41-52.
74. T.R. Gruber, A translation approach to portable ontology specifications, Knowledge Acquisition 5(2) (1993) 199-221.
75. T.R. Gruber, Towards principles for the design of ontologies used for knowledge sharing, Int. J. Human-Computer Studies 43 (1995) 907-928.
76. N. Guarino, Formal ontology, conceptual analysis and knowledge representation, Intl. J. Human-Computer Studies 43(2/3) (1995) 625-640.
77. D. Harel, Dynamic logic, in D. Gabby et al., (eds.), Handook of Philosophical Logic, Vol. II, Extensions of Classical Logic (Kluwer Academic Publishing Company, Dordrecht, The Netherlands, 1984).
78. F. van Harmelen, M. Aben, Structure-preserving specification languages for knowledge-based systems, Intl. J. Human-Computer Studies 44 (1996).
79. 2, a formal language for KADS conceptual models, Knowledge Acquisition 4(1) (1992).
80. F. van Harmelen, D. Fensel, Formal methods in knowledge engineering, The Knowledge Engineering Review 9(2) (1994).
81. F. Hayes-Roth, D.A. Waterman, D.B. Lenat, Building Expert Systems, (Addison-Wesley, New York, 1983).
82. C.B. Jones, Systematic Software Development Using VDM, 2nd ed. (Prentice Hall, 1990).
83. G.A. Kelly, The Psychology of Personal Constructs (Norton, New York, 1955).
84. M. Kifer, G. Lausen, J. Wu, Logical Foundations of Object-Oriented and Frame-Based Languages, Journal of the ACM 42 (1995) 741-843.
85. G. Klinker, C. Bhola, G. Dallemagne, D. Marques, J. McDermott, Usable and reusable programming constructs, Knowledge Acquisition, 3: (1991) 117-136.
86. K. Knight, S. Luk, Building a large knowledge base for machine translation, in Proc. AAAI-94, Seattle, 1994.
87. O. Kühn, An ontology for the conservation of corporate knowledge about crankshaft design, in N.J.I. Mars, (ed.), Working Papers European Conference on Artificial Intelligence ECAI'94 Workshop on Implemented Ontologies, Amsterdam, 1994, pp. 141-152.
88. O. Kühn, A. Abecker, Corporate memories for knowledge management in industrial practice: Prospects and challenges, J. of Universal Computer Science 3(8) (August 1977); special issue on information technology for knowledge management, Springer Science Online; URL: http://www.iicm.edu/jucs-3-8/corporate-memories-for-knowledge.
89. D. Landes, DesignKARL - A Language for the design of knowledge-based systems, in Proc. 6th Intl. Conf. on Software Engineering and Knowledge Engineering (SEKE'94), Jurmala, Lettland, 1994, pp. 78-85.
90. D. Landes, R. Studer, The treatment of non-functional requirements in MIKE, in W. Schaefer et al. (eds.), Proc. of the 5th European Software Engineering Conference (ESEC'95), Sitges, Lecture Notes in Computer Science 989 (Springer-Verlag, 1995).
91. I. van Langevelde, A. Philipsen, J. Treur, Formal specification of compositional architectures, in Proc. 10th European Conf. on Artificial Intelligence (ECAI-92), Vienna, Austria, August, 1992.
92. I. van Langevelde, A. Philipsen, J. Treur, A compositional architecture for simple design formally specified in DESIRE, in J. Treur, Th. Wetter (eds.), Formal Specification of Complex Reasoning Systems (Ellis Horwood, New York, 1993).
93. D. Lenat, R.V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the CYC Project (Addison-Wesley 1990).
94. D.B. Lenat, R.V. Guha, Representation and Inference in the Cyc Project (Addison-Wesley, 1990).
95. S. Luke, L. Spector, D. Rager, J. Hendler, Ontology-based web agents, in: Proc. 1st Int. Conf. on Autonomous Agents (1977).
96. T.J. Lydiard, Overview of current practice and research initiatives for the verification and validation of KBS, The Knowledge Engineering Review 7(2) (1992).
97. R. MacGregor, Inside the LOOM classifier, SIGART Bulletin 2(3) (June 1991) 70-76.
98. N.A.M. Maiden, Acquiring requirements: A domain-specific approach, in A. Sutcliffe et al., (eds.), Domain Knowledge for Interactive System Design (Chapman & Hall, 1996).
99. S. Marcus (ed.), Automating Knowledge Acquisition for Experts Systems (Kluwer Academic Publisher, Boston, 1988).
100. S. Marcus, SALT: A knowledge acquisition tool for propose-and-revise systems, in S. Marcus (ed.), Automating Knowledge Acquisition for Experts Systems (Kluwer Academic Publisher, Boston, 1988).
101. S. Marcus, J. Stout, J. McDermott, VT: An expert elevator configurer that uses knowledge-based backtracking, AI Magazine 9(1) (1988) 95-112.
102. J. McDermott, Preliminary steps toward a taxonomy of problem-solving methods, in S. Marcus (ed.), Automating Knowledge Acquisition for Experts Systems (Kluwer Academic Publisher, Boston, 1988).
103. P. Meseguer, A.D. Preece, Verification and validation of knowledge-based systems with formal specifications, The Knowledge Engineering Review 10(4) (1995).
104. G.A. Miller, WORDNET: An online lexical database, Intl. Journal of Lexicography 3(4) (1990) 235-312.
105. B.G. Milnes, A specification of the Soar cognitive architecture in Z, Research Report CMU-CS-92-169 (School of Computer Science, Carnegie Mellon University, Pittsburg, PA, 1992).
106. K. Morik, Underlying assumptions of knowledge acquisition as a process of model refinement, Knowledge Acquisition 2(1) (March 1990) 21-49.
107. E. Motta, Z. Zdrahal, Parametric design problem solving, in: B.R. Gaines, M.A. Musen (eds.), Proc. 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Alberta, Canada (SRDG Publications 1996), University of Calgary, pp. 9.1-9.20; http://ksi.cpsc.ucalgary.ca:80/KAW/KAW96/KAW96Proc.html
108. M.A. Musen, An overview of knowledge acquisition, in J.-M. David et al. (eds.), Second Generation Expert Systems (Springer-Verlag, 1993).
109. J. Myplopoulos, M. Papazoglu, Cooperative information systems, Guest editors' introduction, IEEE Intelligent Systems 12(5) (September/October 1997) 28-31.
110. B. Nebel, Artificial intelligence: A computational perspective, in G. Brewka (ed.), Principles of Knowledge Representation (CSLI Publications) Studies in Logic, Language and Information (Stanford, 1996).
111. R. Neches, R.E. Fikes, T. Finin, T.R. Gruber, T. Senator, and W.R. Swartout, Enabling technology for knowledge sharing, AI Magazine, 12(3) (1991) 36-56.
112. S. Neubert, Model construction in MIKE, in N. Aussenac et al., (eds.), Knowledge Acquisition for Knowledge-based Systems, Proc. 7th European Workshop (EKAW'93), Toulouse, Lecture Notes in Artificial Intelligence 723 (Springer-Verlag, 1993).
113. A. Newell, The knowledge level. Artificial Intelligence 18 (1982) 87-127.
114. R. Orfali, D. Harkey, J. Edwards (eds.), The Essential Distributed Objects Survival Guide (John Wiley New York, 1996).
115. K. Orsvärn, Knowledge modelling with libraries of task decomposition methods, PhD Thesis (Swedish Institute of Computer Science, 1996).
116. K. Orsvärn, Principles for libraries of task decomposition methods - Conclusions from a case-study, in N. Shadbolt et al. (eds.), Advances in Knowledge Acquisition, Lecture Notes in Artificial Intelligence 1076 (Springer-Verlag, Berlin, 1996).
117. C. Pierret-Golbreich, X. Talon, An algebraic specification of the dynamic beaviour of knowledge-based systems, The Knowledge Engineering Review 11(2) (1996).
118. J. Penix, P. Alexander, Toward automated component adaption, in Proc. 9th Intl. Conf. on Software Engineering & Knowledge Engineering (SEKE-97), Madrid, Spain (June 18-20, 1997).
119. J. Penix, P. Alexander, K. Havelund, Declarative specifications of software architectures, in Proc. 12th IEEE Intl. Conf. on Automated Software Engineering (ASEC-97), Incline Village, Nevada (November 1997).
120. R. Plant, A.D. Preece, Special issue on verification and validation, Intl. J. Human-Computer Studies (IJHCS) (44) 1996.
121. K. Poeck, U. Gappa, Making role-limiting shells more flexible, in N. Aussenac et al. (eds.), Knowledge Acquisition for Knowledge-Based Systems, Proc. 7th European Knowledge Acquisition Workshop (EKAW'93) Toulouse, Lecture Notes in Artificial Intelligence 723 (Springer-Verlag, 1993).
122. A.D. Preece, Foundations and applications of knowledge base verification, Intl. Journal of Intelligent Systems 9 (1994).
123. A.R. Puerta, J.W. Egar, S.W. Tu, M.A. Musen, A multiple-method knowledge acquisition shell for the automatic generation of knowledge acquisition tools, Knowledge Acquisition 4 (1992) 171-196.
124. F. Puppe, Systematic Introduction to Expert Systems: Knowledge Representation and Problem-Solving Methods (Springer-Verlag, Berlin, 1993).
125. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen, Object-Oriented Modelling and Design. (Prentice Hall, Englewood Cliffs, NJ, 1991).
126. F. Saltor, M.G. Castellanos, M. Garcia-Solaco, Overcoming schematic discrepancies in interoperable databases, in D.K. Hsiao et al. (eds.), Interoperable Database Systems (DS-5), IFIP Transactions A-25 (North-Holland, 1993).
127. A.Th. Schreiber, B. Wielinga, H. Akkermans, W. van de Velde, A. Anjewierden, CML: The CommonKADS conceptual modeling language, in Steels et al. (eds.), A Future of Knowledge Acquisition, Proc. 8th European Knowledge Acquisition Workshop (EKAW'94), Hoegaarden, Lecture Notes in Artificial Intelligence 867 (Springer-Verlag, 1994).
128. A.Th. Schreiber, B. Wielinga, J. Breuker (eds.), KADS. A Principled Approach to Knowledge-Based System Development, Knowledge-Based Systems, Vol. 11 (Academic Press, London, 1993).
129. A.Th. Schreiber, B.J. Wielinga, R. de Hoog, H. Akkermans, W. van de Velde, CommonKADS: A comprehensive methodology for KBS development, IEEE Expert (December 1994) 28-37.
130. N. Shadbolt, E. Motta, A. Rouge, Constructing knowledge-based systems, IEEE Software 10(6) (Nov. 1993) 34-38.
131. M.L.G. Shaw, B.R. Gaines, The synthesis of knowledge engineering and software engineering, in P. Loucopoulos (ed.), Advanced Information Systems Engineering, LNCS 593 (Springer-Verlag, 1992).
132. M. Shaw, D. Garlan, Software Architecture: Perspectives on an Emerging Discipline (Prentice Hall, 1996).
133. D.R. Smith, Towards a classification approach to design, in: Proc. 5th Intl. Conf. on Algebraic Methodology and Software Technology (AMAST-96), Munich, Germany, July, 1996.
134. J.W. Spee and L. in 't Veld, The semantics of KBSSF: A language for KBS design, Knowledge Acquisition 6, 1994.
135. J.M. Spivey, The Z Notation. A Reference Manual, 2nd ed., Prentice Hall, New York, 1992.
136. L. Steels, The componential framework and its role in reusability, in: David et al. (eds.), Second Generation Expert Systems (Springer-Verlag, Berlin, 1993).
137. R. Studer, H. Eriksson, J.H. Gennari, S.W. Tu, D. Fensel M.A. Musen, Ontologies and the configuration of problem-solving methods, in Proc. of the 10th Knowledge Acquisition for Knowledge-based Systems Workshop, Banff, 1996.
138. B. Swartout, R. Patil, K. Knight, T. Russ, Toward distributed use of large-scale ontologies, in B.R. Gaines, M.A. Musen (eds.), Proc. 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Alberta, Canada, 1996, SRDG Publications, University of Calgary, pp. 32.1-32.19; http://ksi.cpsc.ucalgary.ca:80/KAW/KAW96/ KAW96Proc.html
139. A. ten Teije, Automated configuration of problem solving methods in diagnosis, PhD Thesis (University of Amsterdam, Amsterdam, The Netherlands, 1997).
140. P. Terpstra, G. van Heijst, B. Wielinga, N. Shadtbolt, Knowledge acquisition support through generalised directive models, in J.-M. David et al. (eds.), Second Generation Expert Systems (Springer-Verlag, Berlin, 1993).
141. Tove, Manual of the Toronto Virtual Enterprise, Technical Report (University of Toronto, 1995); www.ie.utoronto.ca/EIL/tove/ontoTOC.html.
142. J. Treur, Temporal semantics of meta-level architectures for dynamic control of reasoning, in L. Fribourg et al. (eds.), Logic Program Synthesis and Transformation - Meta Programming in Logic, Proc. 4th Intl. Workshops, LOPSTER-94 and META-94, Lecture Notes in Computer Science 883 (Springer Verlag-Berlin, 1994).
143. J. Treur, Th. Wetter (eds.), Formal Specification of Complex Reasoning Systems (Ellis Horwood, New York, 1993).
144. M. Uschold, M. Gruninger, Ontologies: principles, methods, and applications, Knowledge Engineering Review 11(2): (1996) 93-155.
145. A. Valente, C. Löckenhoff, Organization as guidance: A library of assessment models, in N. Aussenac et al. (eds.), Knowledge Acquisition for Knowledge-based Systems, Proc. 7th European Workshop (EKAW'93), Toulouse, Lecture Notes in Artificial Intelligence 723 (Springer-Verlag, 1993).
146. P.E. van de Vet, P.-H. Speel, N.J.I. Mars, The Plinius ontology of ceramic materials, in: N.J.I. Mars (ed.), Working Papers European Conference on Artificial Intelligence ECAI'94 Workshop on Implemented Ontologies, Amsterdam, 1994, pp. 187-206.
147. G. van Heijst, The role of ontologies in knowledge engineering, PhD Thesis (University of Amsterdam, May 1995).
148. G. van Heijst, A. Th. Schreiber, B.J. Wielinga, Using explicit ontologies in KBS development, Intl. J. Human-Computer Studies 46(2/3) (1997) 183-292.
149. G. van Heijst, R. van der Spek, E. Kruizinga, Organizing corporate memories, in Proc. 10th Knowledge Acquisition for Knowledge-based Systems Workshop, Banff, 1996.
150. G. Wiederhold, Mediators in the architecture of future information systems, IEEE Computer 25(3) (1992) 38-49.
151. G. Wiederhold, Intelligent integration of information, Journal of Intelligent Information Systems, Special Issue on Intelligent Integration of Information, 1996.
152. G. Wiederhold, M. Genesereth, The Conceptual basis for mediation services, IEEE Intelligent Systems 12(5) (September/October 1997) 38-47.
153. B.J. Wielinga, A.Th. Schreiber, J.A. Breuker, KADS: A modelling approach to knowledge engineering, Knowledge Acquisition 4(1) (1992) 5-53.
154. M. Wirsing, Algebraic specification, in J. van Leeuwen (ed.), Handbook of Theoretical Computer Science (Elsevier Science, 1990).
155. E. Yourdon, Modern Structured Analysis (Prentice-Hall, Englewood Cliffs, 1989).