Skip to main content
SpringerLink
Log in

An instrument for a purpose driven comparison of modelling frameworks

  • Short Papers
  • Conference paper
  • First Online:
Knowledge Acquisition, Modeling and Management (EKAW 1997)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1319))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • Fensel, D. (1995). Formal Specification Languages in Knowledge and Software Engineering, The Knowledge Engineering Review, Vol 10(4), pp. 361–404.

    Google Scholar 

  • 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 

  • 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 

  • 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 

  • 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/DM1.lb/UvA/018/6.0/FINAL, SWI, University of Amsterdam, 1994.

    Google Scholar 

  • 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 

  • Linster, M. (1994). Sisyphus '91/92: Models of problem solving. International Journal of Human-Computer Studies, 40, 1994, pp. 189–192.

    Google Scholar 

  • Mazza, C., Fairclough, J., Melton, B., Pablo, D. De, Scheffer, A., and Stevens, R. (1994). Software Engineering Standards. Prentice Hall.

    Google Scholar 

  • Motta, E. (1997). A comparative analysis of modelling frameworks. Working paper. Knowledge Media Institute, The Open University.

    Google Scholar 

  • 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 

  • Pierret-Golbreich, C. (1993). Task Model Perspective of Knowledge Engineering, 7th European Knowledge Acquisition Workshop, EKAW'93, Springer-Verlag.

    Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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 

  • Sage, A.P. and Palmer, J.D. (1990). Software Systems Engineering. John Wiley and Sons.

    Google Scholar 

  • Schreiber, A.TH., and Birmingham, W.P. (1996). Editorial: the Sisyphus-VT initiative. International Journal of Human-Computer Studies, 44, 1996 pp. 275–280.

    Article  Google Scholar 

  • Shadbolt, N., Motta, E., and Rouge, A. (1993). Constructing Knowledge-Based Systems. IEEE Software, November, pp. 34–38.

    Google Scholar 

  • 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 

  • Treur, J. and Wetter, TH (Eds.) (1993). Formal Specification of Complex Reasoning Systems. Ellis Horwood.

    Google Scholar 

  • 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.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Artificial Intelligence Group Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam, de Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands

    Frances M.T. Brazier & Niek J.E. Wijngaards

Authors
  1. Frances M.T. Brazier
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Niek J.E. Wijngaards
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Enric Plaza Richard Benjamins

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Brazier, F.M., Wijngaards, N.J. (1997). An instrument for a purpose driven comparison of modelling frameworks. In: Plaza, E., Benjamins, R. (eds) Knowledge Acquisition, Modeling and Management. EKAW 1997. Lecture Notes in Computer Science, vol 1319. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026795

Download citation

  • DOI: https://doi.org/10.1007/BFb0026795

  • Received:

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63592-5

  • Online ISBN: 978-3-540-69606-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation