Formal Methods in Knowledge Engineering

Frank van Harmelen
Dieter Fensel

This paper presents a general discussion of the role of formal methods in Knowledge Engineering. We give an historical account of the development of the field of Knowledge Engineering towards the use of formal methods. Subsequently, we discuss the pro's and cons of formal methods. We do this by summarising the proclaimed advantages, and by arguing against some of the commonly heard objections against formal methods. We briefly summarise the current state of the art and discuss the most important directions that future research in this field should take. This paper presents a general setting for the other contributions in this issue of the Journal, which each deal with a specific issue in more detail.

(PDF paper, 241)

@Article{KER95,
  author =       "F. van Harmelen and D. Fensel",
  title =        "Formal Methods in Knowledge Engineering",
  journal =      "The Knowledge Engineering Review",
  volume =       10,
  number =       4,
  year =         1995,
  pages =        "345--360",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KER95.pdf"
}
Copyright © Cambridge University Press 1996

<- Back to list of papers