A Comparison of Languages Which Operationalize and Formalize Kads Models of Expertise

The Knowledge Engineering Review

Volumn 9, Issue 2, 1994, Pages 105-146

  Fensel, Dieter ^a   Van Harmelen, Frank ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84974307136     PISSN: 02698889     EISSN: 14698005     Source Type: Journal    
DOI: 10.1017/S0269888900006767     Document Type: Article

References (109)

1. Aben, M. 1992, “Guidelines for the formal specification of KADS models of expertise”. In: J Balder and J Akkermans (eds.), Formal Methods for Knowledge Modelling in the Common KADS Methodology, Netherlands Energy Research Foundation.
2. Aben, M. 1993. “Formally specifying reusable knowledge model components” Knowledge Acquisition Journal, 5(2).
3. Aben, M. and Van Harmelen F. 1992. Design and Implementation of Si (ML) 2.0, Technical report, KADS-II/T1.2/SP/UvA/030/2.0, SWI, University of Amsterdam, October.
4. ACM SIG SOFT Software Engineering Notes, vol 7, no 5, 1982.
5. Angele, J. Fensel, D. Landes D. and Studer R. 1991. An assignment problem in Sisyphus - No problem with KARL. In: M Linster (ed.), Sisyphus 91: Models of Problem Solving, GMD, Germany.
6. Angele, J. Fensel, D. and Landes, D. 1992 “Two languages to do the same?” In: Proceedings 2nd Workshop Informationssysteme und Kunstliche Intelligenz, February 24–26, Ulm, Informatik-Fachberichte, no 303, Springer; Verlag.
7. Angele, J. Fensel, D. and Landes, D. 1992. “An executable model at the knowledge level for the office-assignment task”. In: M. Linster (ed.), Sisyphus 92: Models of Problem Solving, GMD, Germany.
8. Angele, J. Fensel, D. Landes, D. Neubert S. and Studer R. 1993. “Model-based and incremental knowledge engineering: The MIKE approach”. In: J Cuena (ed.), Knowledge Oriented Software Design, IFIP Transactions A-27, North Holland.
9. Angele, J. Fensel, D. and Studer, R. 1990. “Applying software engineering methods and techniques to knowledge engineering”. In: D. Ehrenberg et al. (eds.), Wissensbasierte Systeme in der Betriebswirtschaft, Reihe betriebliche Informations- und Kimmunikationssysteme, no 15, Erich Schmidt Verlag.
10. Angele, J. Fensel D. and Studer, R. 1994. “The model expertise in KARL”. In: Proceedings 2nd World Congress on Expert Systems, Lisbon/Estoril, Portugal, January 10–14.
11. Andrews, D.J. Groote, J.F. and Middelburg, C.A. (eds.), 1993. Preliminary Proceedings of the International Workshop on Semantics of Specification Languages SoSL, Utrecht, The Netherlands, October 25–27.
12. Akkermans, H. van Harmelen, F. Schreiber G. and Wielinga, B. 1993. “A. formalisation of knowledge-level models for knowledge acquisition:. In: International Journal of Intelligent Systems, Special Issue on Knowledge Acquisition, no 2, vol 8.
13. Aitken, S. Kuhn, O. Shadbolt, N. and Schmalhofer, F. 1993. “A conceptual model of hierarchical skeletal planning and it formalization”. In: Proceedings 3rd KADS Meeting, Munich, March 8–9.
14. Alford, M. 1990 “SREM at the age of eight; the distributed computing design system”. In: RH Thayer and M. Dorfman (eds.), System and Software Requirements Engineering, IEEE Computer Society Press, pp. 392–402.
15. Angele, J. 1992. “Cover and differentiate remodeled in KARL”. In: Interpretation Models for KADS—Proceedings 2nd KADS User Meeting (KUM'92), Muenich, February 17–18,1992, GMD report no. 212.
16. Angele, J, 1994. “Operationalisierung des Modells der Expertise in KARL” (Operationalization of a model of expertise in KARL), Infix, St. Augustin (in German).
17. Aitken, S. Reichgelt, H. and Shadbolt N. 1992. Representing KADS models in QIL, AI Group, University of Nottingham, Working Paper WP-006.
18. Balder, J and Akkermans, H, 1992. “TheMe: An environment for building formal KADS-II models of expertise”. In: AI Communications, vol 5, no 3.
19. Balder, J. and Akkermans, H. (eds.), 1992. “Formal methods for knowledge modelling in the Common KADS methodology”. A compilation report ECN-C-92-080, Netherlands Energy Research Foundation ECN, ZG Petten, The Netherlands.
20. Bauer, C. and Karbach, W. (eds.), Interpretation Models for KADS—Proceedings 2nd KADS User Meeting (KUM'92), Muenich, February 17–18, 1992, GMD report no. 212.
21. Barbuceanu, M. 1993. “Towards integrated knowledge modeling environments”. In: Knowledge Acquisition, vol 5, no 3.
22. Beeri, C. 1990. “A formal approach to object-oriented databases”. In: Data and Knowledge Engineering, vol 5, no 4.
23. Bicarregui, J.C. Fitzgerald, J.S. Lindsay, P.A. Moore, R. and Ritchie, B. 1993. Proof in VDM: A Practitioner's Guide, Springer Verlag.
24. Balder, J, van Harmelen, F and Aben, M, 1993, “A KADS/(ML) model of a scheduling task”. In: J Treur and Th Wetter (eds.), Formal Specification of Complex Reasoning Systems, Ellis Horwood.
25. Bjorner, D. Hoare, C.A.R. and Langmaack, H. (eds.), 1990. VDM'90. VDM and Z—Formal Methods in Software Development, Lecture Notes in Computer Science, no 428, Springer-Verlag.
26. Brachman, R.J., 1979. “On the epistemological status of semantic networks”. In: NV Findler (eds.), Associative Networks: Representation and Use of Knowledge by Computers, Academic Press, New York.
27. Bredeweg, B. Reinders, M. and Wielinga, B. 1990. “GARP: a unified approach to qualitative resasoning”, report VF-memo 117, University of Amsterdam.
28. Bursner, S. and Wetter, T.H., 1992. “An operational KADS modelling language and tool support for its application. In: Proceedings 7th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW92), Banff, Canada, October 11–16.
29. Chandrasekaran, B and Johnson, TR, 1993. “Generic tasks and task structures: history, critique and new directions”. In: J-M David, J-P Krivine and R Simmons (eds.), Second Generation Expert Systems, Springer-Verlag.
30. Clancey, W.J. 1985. “Heuristic classification”. In: Artificial Intelligence, vol 27.
31. Clancey, W.J. 1992. “Model construction operators”. In: Artificial Intelligence, vol 53, no 1.
32. Christaller, T. Diprimo, F. and Vob, A. 1989. Die Kl-Werkbank BABYLON (The KI-Tool BABYLON), Assison Wesley, (in Germanm).
33. Dubois, E. Hagelstein, J and Rifaut, A, 1991. “A formal language for the requirements engineering of computer systems”. In: A Thayse (ed.), From Natural Language Processing to Logic for Expert Systems, Wiley.
34. Dijkstra, E.W. 1976. A Discipline of Programming, Engelwood Cliffs, NJ: Prentice-Hall.
35. David, J.-M. Krivine, J-P and Simmons, R (eds.), 1993. Second Generation Expert Systems, Springer-Verlag.
36. Drouven, U. Karbach, W. and Vob, A. 1992. “Solving the office-allocation task in reflective MODEL-K”. In: M Linster (ed.), Sisyphus '92: Models of Problem Solving, Arbeitspapiere der GMD, no 663, July.
37. Elmasri, R. and Navathe, S.B. 1989. Fundamentals of Database Systems, The Benjamin/Cummings Publishing Company, Houston.
38. Fensel, D. Angele, J. and Landes, D. 1991. “KARL: a knowledge acquisition and representation language”. In: Proceedings of Expert Systems and their Applications, 11th International Workshop, Conference Tools, Techniques and Methods, May 27–31, Avignon.
39. Fensel, D. Angele, J. Landes, D. and Studer, R. 1993. “Giving structured analysis techniques a formal and operational semantics with KARL. In: H Zullighoven et al. (eds.), Requirements Engineering '93: Prototyping, German Chapter of the ACM Berichte, no 41, Teubner Verlag, Stuttgart.
40. Fensel, D. Eriksson, H. Musen, M.A. and Studer, R. 1993. “Description and formalization of problem-solving methods for reusability: a case study”. In: Complement Proceedings of the European Knowledge Acquisition Workshop (EKAW'93), Toulouse, France, September 6–10.
41. Fensel, D. 1993. “The reconciliation of symbol and knowledge level, research report, Instituts fur Angewandte Informatik und Formale Beschreibungsverfahren, University of Karlsruhe, no 266.
42. Fensel, D. 1993. “The knowledge acquisition and representation language KARL”. PhD thesis, University of Karlsruhe.
43. Finkelstein, A. and Potts, C. 1987. “Building formal specifications using ‘Structured Common Sense’”, In: Proceedings 4th International Workshop on Software Specification and Design, Monterey, California, April.
44. Floyd, C. 1984. “A systematic look at prototyping”. In: R Budde, et al. (eds.), Approaches to Prototyping, Springer-Verlag.
45. Greenspan, S.J. Borgida, A. and Mylopoulos, J. 1986. “A requirements modeling language and its logic”. In: Information Systems, vol 11, no 1.
46. Geidel, J. 1992. “An environment for modelling and solving optimisation problems”. In: Proceedings 2nd IFIP WG 7.6.-Conference on Optimization-Based Computer Aided Modelling and Design, SchloB Dagstuhl, Germany, 28th September-lst October.
47. De Greef, P. Breuker, JA, 1992. “Analysing system-user cooperation in KADS. In: Knowledge Acquisition, vol 4, no 1.
48. Van Harmelen, F. and Balder, J. 1992. “(ML): a formal language for KADS conceptual models”. In: Knowledge Acquisition, vol 4, no 1.
49. Harel, D. 1984. “Dynamic logic”. In: D Gabbay and F Guenthner (eds.), Handbook of Philosophical Logic, Vol. II: Extensions of Classical Logic, Reidel.
50. Herzog, O and Rollinger, C-R (eds.), 1991. Text Understanding in LI LOG, Lecture Notes in Artificial Intelligence, no 546, Springer-Verlag.
51. Hartmann, T. Jungclaus, R. and Saake, G. 1993. “Spezifikation von informationssystemen als objektsysteme: das TROLL-Projekt (Specification of information systems as object systems: the TROLL-Project), Emisa Forum, no 1, (in German).
52. Van Harmelen, F. Wielinga, B. Bredeweg, B. Schreiber, G. Karbach, W. Reinders, M. Vob, A. Akkermans, J.M. Bartsch-Spörl, B. and Vinkhuyzen, E. 1992. “Knowledge-level reflection”. In: B Le Pape et al. (eds.), Enhancing the Knowledge-Engineering Process—Contributions from ESPRIT, Elsevier.
53. IEEE Transactions on Software Engineering, vol 3, no 1.
54. Jonker, W. and Spee, J.W. 1992. “Yet another formalisation of KADS conceptual models. In: Proceedings 6th European Knowledge Acquisition for Knowledge-Based Systems Workshop (EKAW-92), May 18–22, Heidelberg/Kaiserslautern, T Wetter et al. (eds.), Current Developments in Knowledge Acquisition, Lecture Notes in Artificial Intelligence, no 599, Springer-Verlag.
55. Jonker, W. Spee, J.W. in't Veld, L and Koopman, M, 1991. “Formal approaches towards design in SE and their role in KBS design”. In: Proceedings of the IJCAF91 Workshop on Software Engineering for Knowledge-Based Systems, Sydney, Australia, August 24th.
56. Karbach, W. 1993. MODEL-K: Modellierung und Operationalisierung von Selbsteinschdtzung und- Steuer-ang durch Reflexion und Metawissen. PhD thesis, University of Bielefeld, Germany (in German).
57. Karbach, W. and Vob, A. 1992. “Reflecting about expert systems in MODEL-K”. In: Proceedings of Expert Systems and their Applications, 12th International Workshop,(Scientific Conference), June 1–6, Avignon.
58. Karbach, W. and Vob, A. 1993. “MODEL-K for prototyping and strategic reasoning at the knowledge level”. In: J-M David, J-P Krivine and R Simmons (eds.), Second Generation Expert Systems, Springer-Verlag.
59. Karbach, W. Vob, R. Schuckey, R. and Drouven, U. 1991. “MODEL-K: prototyping at the knowledge level. In: Proceedings of Expert Systems and their Applications, 11th International Workshop, Conference Tools, Techniques & Methods, May 27–31, Avignon.
60. Keene, S.E. 1989. Object-Oriented Programming in Common Lisp, Addison-Wesley.
61. Koppen, R. Fensel, D. and Geidel, J. 1992. “Modelling the selection of scheduling algorithms with KARL. In: C Bauer and W Karbach (eds.), Interpretation Models for KADS—Proceedings 2nd KADS User Meeting (KUM192), Muenich, February 17–18, GMD report no 212.
62. Kifer, M. and Wu J. 1993. “A logic for programming with complex objects”. To appear in Journal of Computer and Systems Science.
63. Kuhn, O. Linster, M. and Schmidt, G. 1992. “Clamping, COKAM, KADS and OMOS: the construction and operationalization of a KADS conceptual model”. In: M Linster et al. (eds.), Proceedings 5th European Knowledge Acquisition Workshop EKAW91, Crieff, Scotland, May 20–24, GMD-Studien, no 211, September.
64. Kifer, M. Lausen, G. and Wu, J. 1993. Logical foundations of object-oriented and frame-based languages, technical report 93/06, Department of Computer Science, SUNY at Stony Brook, NY, April. To appear in Journal of the ACM.
65. Kowalczyk, W. and Treur, J. 1990. “On the use of a formalized generic task model in knowledge acquisition”. In: B Wielinga et al. (eds.), Current Trends in Knowledge Acquisition, IOS Press, Amsterdam.
66. Kozen, D. 1990. “Logis of programs”. In: J van Leeuwen (ed.), Handbook of Theoretical Computer Science, Elsevier.
67. Landes, D. Fensel, D. and Angele, J. 1993. “Formalizing and operationalizing a design task with KARL”. In: J Treur and Th. Wetter (eds.), Formal Specification of Complex Reasoning Systems, Ellis Horwood.
68. Landes, D. Hackenberg, D. and Schweier, T. 1992. “An inference structure for a configuration problem. In: C Bauer and W Karbach (eds.), Interpretation Models for KADS—Proceedings 2nd KADS User Meeting (KUM'92), Muenich, February 17–18, 1992, GMD report no. 212.
69. Linster, M. 1992. “Tackling the office-plan problem with OMOS”. In: M Linster (ed.) Sisyphus '91: Models of Problem Solving, Arbeitspapiere der GMD, no 630, March.
70. Linster, M. 1992. “Knowledge acquisition based on explicit methods of problem solving”, PhD thesis, University of Kaiserslautern, February.
71. Linster, M. 1992. “Linking modeling to make sense and modeling to implement systems in an operational modeling environment”. In: Proceedings 6th European Knowledge Acquisition for Knowledge-Based Systems Workshop (EKAW-92), May 18–22, Heidelberg/Kaiserslautern, 1992, T Wetter et al. (eds.), Current Developments in Knowledge Acquisition, Lecture Notes in Artificial Intelligence, no 599, Springer-Verlag.
72. Linster, M. 1992. “Using the operational modelling language OMOS to tackle the Sisyphus '92 office-planning problem. In: M Linster (ed.), Sisyphus '92: Models of Problem Solving, Arbeitspapiere der GMD, no 663, July.
73. Linster, M. (ed.), 1992. Sisyphus '91: Models of Problem Solving, Arbeitspapiere der GMD, no 630, March.
74. Linster, M. (ed.), 1992. Sisyphus '92: Models of Problem Solving, Arbeitspapiere der GMD, no 663, July.
75. Linster, M. 1993. “Using OMOS to represent KADS conceptual models”. In: G. Schreiber, B, Wielinga and J. Breuka (eds.), KADS. A Principled Approach to Knowledge-Based System Development, Knowled-Based Systems, vol 11, Academic Press.
76. Linster, M. Karbach, W. Vob, A. and Walther, J. 1992. “An analysis of the role of operational modelling languages in the development of knowledge-based systems”. Proceedings 2nd Japanese Knowledge Acquisition for Knowledge-Based Systems Workshop (JKAW'1992), Hatoyama, Japan, November 9–13.
77. Linster, M. and Musen, M. 1992. “The inference structure of K-ONCOCIN: skeletal plan refinement”. In: C Bauer and W Karbach (eds.), Interpretation Models for KADS—Proceedings 2nd KADS User Meeting (KUM'92), Muenich, February 17—18,1992, GMD report no. 212.
78. Lloyd, J.W. 1987. Foundations of Logic Programming, 2nd Edition, Springer-Verlag, Berlin.
79. Lausen, G. Nemeth, T. Oberweis, A. Schonthaler, F. and Stucky, W. 1989. “The INCOME approach for conceptual modelling and prototyping of information systems. In: Proceedings 1st Nordic Conference on Advanced Systems Engineering CASE'89, Stockholm, Sweden, May 9–11.
80. Van Langevelde, I. Philipsen, A. and Treur, J. 1992. “A compositional Architectures”. In: Proceedings 10th European Conference on Al (ECAI-92), Vienna, Austria, August 3–7.
81. Van Langevelde, I. Philipsen, A. and Treur, J. 1993. “Formal specification of compositional architecture for simple design formally specified in DESIRE”. In: J Treur and Th Wetter (eds.), Formal Specification of Complex Reasoning Systems, Ellis Horwood.
82. Marcus, S. (ed.), 1988. Automating Knowledge Acquisition for Experts Systems, Kluwer.
83. Marques, D. Dallemagne, G. Klinker, G. McDermott, J. and Tung, D. 1992. “Easy programming: empowering people to build their own applications”. In: IEEE Expert, vol 7, no 3.
84. Moller, J.-U. 1992. “Towards declarative programming in conceptual models”. In: Proceedings 2nd Workshop lnformationssystem und Kiinstliche Intelligenz, February 24–26, Ulm, Informatik Fachbericht, no. 303, Springer-Verlag.
85. Musen, M.A. 1989. Automated Generation of Model-Based Knowledge-Acquisition Tools, Morgan Kauf-mann.
86. Neubert, S. and Maurer, F. 1993. “A tool for model based knowledge engineering. In: Proceedings 13th International Conference AI, Expert Systems, Natural Language (Avignon'93), May 24–28, Avignon.
87. Newell, A. 1982. “The knowledge level”. In: Artificial Intelligence, vol 18.
88. Puerta, A.R. Edgar, J.W.T.U.S.W. and Musen, M.A. 1992. “A multiple-method Knowledge Acquisition shell for the automatic generation of knowledge-acquisition tools”. In: Knowledge Acquisition, vol 4 no 2.
89. Przymusinski, T.C. 1988. “On the declarative semantics of deductive databases and logic programs”. In: J Minker (ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann.
90. Schreiber, G. Akkermans, H. and Wielinga, B. 1989. “On problems with the knowledge level perspective. In: Proceedings 5th Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada, November.
91. Schreiber, G. 1992. Pragmatics of the Knowledge Level, PhD thesis, University of Amsterdam.
92. Shutt, R.N. 1989. “A rigorous development strategy using the OBJ specification language and the MALPAS progam analysis tool. In: Proceedings 2nd European Software Engineering Conference ESEC89, Warwick, UK, September 11–15, 1989, Lecture Notes in Computer Science, vol 387, Springer-Verlag.
93. Steels, L. 1992. “Reusability and configuration of applications by non-programmers”, technical report VUB Al-memo 92–4, Free University of Brussel, Brussels.
94. Schreiber, G. Wielinga, B. and Akkermans, H. 1992. “Differentiating problem solving methods”. In: Proceedings 6th European Knowledge Acquisition for Knowledge-Based Systems Workshop (EKA W-92), May 18–22, Heidelberg/Kaiserslautern, T Wetter et al. (eds.), Current Developments in knowledge Acquisition, Lecture Notes in Artificial Intelligence, no 599, Springer-Verlag.
95. Schreiber, G. Wielinga, B. and J. Breuka (eds.), 1993. KADS. A Principled Approach to Knowledge-Based System Development, Knowled-Based Systems, vol 11, Academic Press.
96. Thayer, R.H. and Dorfman, M. (eds.), 1990. System and Software Requirements Engineering, IEEE Computer Society Press.
97. Teije, A.T. Van Harmelen, F. and Reinders, M. 1991. “Si(ML): a prototype interpreter for a subset of (ML), ESPRIT project P5248 KADS-II”, report KADS-II/TL2/TR/Uv A/005/1.0, University of Amsterdam.
98. Treur, J. and Wetter, T.H. (eds.), 1993. Formal Specification of Complex Reasoning Systems, Ellis Horwood. Ullman, JD, 1988. Principles of Database and Knowledge-Base Systems, vol I, Computer Sciences Press. in't Veld, L, Jonker, W and Spee, JW, 1993. “The specification of complex reasoning tasks in kbssf. In: J Treur and Th Wetter (eds.), Formal Specification of Complex Reasoning Systems, Ellis Horwood.
99. Vob, A. Karbach, W. Schuckey, R. and Drouven, U. 1992, “The office planning problem in MODEL-K. In: M Linster (ed.) Sisyphus '91: Models of Problem Solving, Arbeitspapiere der GMD, no 630, March.
100. Vob, A. and Karbach, W. 1993. “MODEL-K: making KADS run”. In: G Schreiber, B Wielinga, and J Breuka (eds.), 1993. KADS. A Principled Approach to Knowledge-Based System Development, Knowled-Based Systems, vol 11, Academic Press.
101. Voss, H. and Voss, A. 1993. “Reuse-oriented knowledge engineering with MoMo”. In Proceedings 5th International Conference on Software Engineering and Knowledge Engineering (SEKE'93), San Francisco Bay, June 14–18.
102. Vob, A. Vob, H. Walther, J. and Hemman, T. 1993. “Model-driven prototyping—prototyping-driven modelling in knowledge-based system”. In: Ziillighoven et al. (eds.), Requirements Engineering '93: Prototyping, German Chapter of the ACM Berichte, no 41, Teubner Verlag, Stuttgart.
103. Wetter, T. 1990. “First order logic foundation of the KADS conceptual model. In: B Wielinga et al. (eds.), Current Trends in Knowledge Acquisition, IOS Press, Amsterdam.
104. Wetter, T. 1992. “FORKADS: an executable language for the KADS conceptual and interpretation models”. Habilitationsschrift, University of Kaiserslautern, Germany.
105. Wetter, T. and Schmidt, W. 1991. “Formalization of the KADS interpretation models”. In: Proceedings 8th Conference of the Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB9J), Leeds, GB, April 16–19.
106. Wielinga, B.J. Schreiber, A.T.H. and Breuker, J.A. 1992. “KADS: a modelling approach to knowledge engineering”. In: Knowledge Acquisition, vol 4 no 1.
107. Wielinga, B.J. Van De Velde W. Schreiber, A.T.H. and Akkermans, J.M. 1993. “Towards a unification of knowledge modelling approaches”. In: J-M David, J-P Krivine and R Simmons (eds.), Second Generation Expert Systems, Springer-Verlag.
108. Yourdon, E. 1989. Modern Structured Analysis, Prentice-Hall.
109. Zave, P. 1991. “An insider's evaluation of PAISLey”. In: IEEE Transactions on Software Engineering, vol 17, no 3.