Evaluating a formal KBS specification language

F.A.H. van Harmelen, Manfred Aben, Fidel Ruiz, Joke van de Plassche

Research output: Contribution to JournalArticleAcademic

108 Downloads (Pure)


Formal specification languages can improve the development of knowledge-based systems (KBS), but several problems limit their usefulness. (ML)2, a formal language based on the knowledge models used in the CommonKADS KBS development method, avoids many of these problems. (ML)2 specifically aims at formalizing the CommonKADS expertise model. To analyze (ML)2 usability, a set of evaluation criteria was designed. A small case study was then performed, constructing and expertise model in (ML)2, to test and refine this criteria.

Original languageEnglish
Pages (from-to)56-62
Number of pages7
JournalIEEE expert
Issue number1
Publication statusPublished - Feb 1996


Dive into the research topics of 'Evaluating a formal KBS specification language'. Together they form a unique fingerprint.

Cite this