An instrument for a purpose driven comparison of modelling frameworks

  • Frances M.T. Brazier
  • Niek J.E. Wijngaards
Short Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1319)


During the past decade a number of modelling frameworks for knowledge based systems have been developed. In this paper an approach to the comparison of modelling frameworks is proposed, based on the aims and purposes behind the frameworks. A purpose oriented comparison of the frameworks DESIRE, CommonKADS, Protégé-II, Mike Vital and Karl, provides insight in their differences and similarities.


purpose-driven comparison knowledge engineering modelling frameworks 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Angele, J., Fensel, D., and Studer, D. (1996). Domain and Task Modelling in MIKE. Proceedings of the IFIP WG 8.1/13.2 Joint Working Conference, Domain Knowledge for Interactive System Design. Geneva, Switzerland, May 8-10th, 1996.Google Scholar
  2. Brazier, F.M.T., Dunin-Keplicz, B.M., Jennings, N.R., and Treur, J. (1997), DESIRE: modelling multi-agent systems in a compositional formal framework, In: Huhns, M. and Singh, M. (Eds.), International Journal of Cooperative Information Systems, IJCIS vol. 6 (1), special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, pp. 67–94.Google Scholar
  3. Brazier, F.M.T., Treur, J., Wijngaards N.J.E., and Willems, M. (1995). Formal specification of hierarchically (de)composed tasks. In B.R. Gaines and M.A. Musen (Eds.). Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW '95, 1995, 2, pp. 25/1–25/20. Calgary: SRDG Publications, Department of Computer Science, University of Calgary.Google Scholar
  4. Brazier, F.M.T., Treur, J., Wijngaards, N.J.E. and Willems, M. (1996). Temporal semantics and specification of complex tasks. In: Gaines, B.R., and Musen, M.A. (Eds.), Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop (KAW'96), Calgary: SRDG Publications, Department of Computer Science, University of Calgary, pages 15/1–15/17.Google Scholar
  5. Eriksson, H., Puerta, A.R., Gennari, J.H., Rothenfluh, T.E., TU, S.W., and Musen, M.A. (1995). Custom-Tailored Development Tools for Knowledge-Based Systems. In: Gaines, B.R. and Musen, M.A. (Eds.). Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, SRDG Publications, Department of Computer Science, University of Calgary, 1995, pp. 26/1–26/19.Google Scholar
  6. Fensel, D. (1995). Formal Specification Languages in Knowledge and Software Engineering, The Knowledge Engineering Review, Vol 10(4), pp. 361–404.Google Scholar
  7. Fensel, D. and Harmelen, F. Van (1994). A comparison of languages which operationalise and formalise KADS models of expertise. The Knowledge Engineering Review, 9, pp. 105–146.Google Scholar
  8. Gennari, J.H., Altman R.B., and Musen, M.A. (1994). Reuse with PROTégé-II From Elevators to Ribosomes. Knowledge systems laboratory, KSL-94-71, Stanford University School of Medicine, 1994.Google Scholar
  9. Harmelen, F. Van, Lopez De Mántaras, R., Malec, J., and Treur, J. (1993). Comparing Formal Specification Languages for Complex Reasoning Systems. In: (Treur & Wetter, 1993), pp. 257–282.Google Scholar
  10. Hoog, R. de, Martil, R., Wielinga. B.J., Taylor, R., Bright, C., and Velde, W. Van De (1994). The CommonKADS model set. Technical Report KADSII/M1/, SWI, University of Amsterdam, 1994.Google Scholar
  11. Linster, M. (1991). Sisyphus'91 part 2: Models of problem solving. Statement of the sample problem. In: Smeed, D., Linster, M., Boose, J.H., and Gaines, B.R. (Eds.). Proceedings of the EKAW'91, Glasgow, University of Strathclyde.Google Scholar
  12. Linster, M. (1994). Sisyphus '91/92: Models of problem solving. International Journal of Human-Computer Studies, 40, 1994, pp. 189–192.Google Scholar
  13. Mazza, C., Fairclough, J., Melton, B., Pablo, D. De, Scheffer, A., and Stevens, R. (1994). Software Engineering Standards. Prentice Hall.Google Scholar
  14. Motta, E. (1997). A comparative analysis of modelling frameworks. Working paper. Knowledge Media Institute, The Open University.Google Scholar
  15. Musen, M.A. (1990). An editor for the conceptual models of interactive knowledge-acquisition tools. In: Boose, J.H. and Gaines, B.R. (Eds.). The Foundations of Knowledge Acquisition. Knowledge-Based Systems, Academic Press Limited, 4, 1990, pp. 135–160.Google Scholar
  16. Pierret-Golbreich, C. (1993). Task Model Perspective of Knowledge Engineering, 7th European Knowledge Acquisition Workshop, EKAW'93, Springer-Verlag.Google Scholar
  17. Puerta, A.R., Egar, J.W., Tu, S.W., and Musen, M.A. (1992). A multiple-method knowledge-acquisition shell for the automatic generation of knowledge-acquisition tools. Knowledge Acquisition, 1992 4, pp. 171–196.CrossRefGoogle Scholar
  18. Revise (project) (1996). A Purpose Driven Method for Language Comparison. In: Shadbolt, N., O'Hara, K., and Schreiber, A.TH. Advances in Knowledge Acquisition. 9th European Knowledge Acquisition Workshop, EKAW'96. Lecture Notes in Artificial Intelligence, volume 1076, pp. 66–81.Google Scholar
  19. Sage, A.P. and Palmer, J.D. (1990). Software Systems Engineering. John Wiley and Sons.Google Scholar
  20. Schreiber, A.TH., and Birmingham, W.P. (1996). Editorial: the Sisyphus-VT initiative. International Journal of Human-Computer Studies, 44, 1996 pp. 275–280.CrossRefGoogle Scholar
  21. Shadbolt, N., Motta, E., and Rouge, A. (1993). Constructing Knowledge-Based Systems. IEEE Software, November, pp. 34–38.Google Scholar
  22. Talon, X. and Pierret-Golbreich, C. (1996). TASK: from the specification to the implementation. 8th IEEE International Conference on Tools with Artificial Intelligence, pp. 80–88, IEEE Computer Society Press.Google Scholar
  23. Treur, J. and Wetter, TH (Eds.) (1993). Formal Specification of Complex Reasoning Systems. Ellis Horwood.Google Scholar
  24. Wielinga, B.J., Schreiber, A.TH., and Breuker, J.A. (1992). KADS: a modelling approach to knowledge engineering. Knowledge Acquisition, 4, 1992, pp. 5–53.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Frances M.T. Brazier
    • 1
  • Niek J.E. Wijngaards
    • 1
  1. 1.Artificial Intelligence Group Department of Mathematics and Computer ScienceVrije Universiteit AmsterdamAmsterdamThe Netherlands

Personalised recommendations