Yet another formalisation of KADS conceptual models

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 599)


This paper presents the use of the VITAL conceptual modeling language to formalise KADS conceptual models. This language is a formal language based on algebraic specification and order sorted predicate logic.

The formalisation distinguishes itself from previous formalisations through the use of signature types paramctcrised by sorts and predicates for the specification of domain independent interpretation models. The approach will be compared to the (ML)2 and FORKADS formalisations. The comparison will especially focus on the representation of interpretation models and the link between the domain and inference layer. This paper will show that the use of parameterised signature types is a very natural way of binding domain layers to interpretation models.


Signature Type Knowledge Source Predicate Logic Interpretation Model Abstract Data Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Akkermans, 1990]
    Akkermans, H., Harmelen, F. van, Schreiber, G., Wielinga, B., A formalisation of Knowledge-Level Models for Knowledge Acquisition, Department of Social Science Informatics, University of AmsterdamGoogle Scholar
  2. [Bergstra, 1989]
    Bergstra J.A., Heering J., Klint P., Algebraic Specification, Addison-Wesley, 1989.Google Scholar
  3. [Dalen, 1980]
    Dalen, D. van, Logic and Strucuture, Springer Verlag, 1980.Google Scholar
  4. [Dijkstra, 1976]
    Dijkstra, E.W., A Discipline of Programming, Englewood Cliffs, N.J., Prentice-Hall, 1976.Google Scholar
  5. [Ehrig, 1985]
    Ehrig, H., Mahr, B., Fundamentals of Algebraic Specification 1, Springer Verlag, 1985.Google Scholar
  6. [Harmelen, 1992]
    Harmelen, F. van, Balder, J., (ML) 2: A formal language for KADS models of expertise, The Knowledge Acquisition Journal, March 1992.Google Scholar
  7. [Hickman, 1989]
    Hickman, F.R. Analysis for Knowledge-based Systems: A Practicle Guide to the KADS Methodology, Ellis Horwood Limited, 1989Google Scholar
  8. [Jonker, 1991]
    Jonker, W., Spec, J.W., In 't Veld, L.J., Koopman, M.R.J., Formal Approaches towards Software Engineering and their role in KBS Design, Proc. IJCAI Workshop on Software Engineering for Knowledge Based Systems, Sydney, Australia, 1991.Google Scholar
  9. [Meyer, 1985]
    Meyer, B., On Formalisms in Specifications, IEEE Software, January 1985, pp. 7–26.Google Scholar
  10. [Spee, 1991]
    Spee, J.W., Koopman, M.R.J., Jonker, W., Veld, L.J. in 't, The VITAL Conceptual Modelling and Design Approach, SGES91.Google Scholar
  11. [Wetter, 1990]
    Wetter, Th., First Order Logic Foundation of the KADS Conceptual Model, EKAW90.Google Scholar
  12. [Wetter, 1991]
    Wetter, Th., Schmidt, W., Formalization of the KADS Interpretation Models, AISB91.Google Scholar
  13. [Wielinga, 1989]
    Wielinga, B.J, Akkermans, H., A.Th. Schreiber, Balder, J, A Knowledge Acquisition Perspective on Knowledge Level Models, Proc. 4th Knowledge Acquisition for Knowledge Based Systems Workshop, Banff, 1989.Google Scholar
  14. [Wielinga, 1991]
    Wielinga, B.J, A.Th. Schreiber, J.A. Breuker, KADS: A modelling Approach to Knowledge Engineering, KADS-II/T1.1/PP/UvA/008/1.0, May 8,1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  1. 1.PTT ResearchGroningenThe Netherlands

Personalised recommendations