Formal Methods in Knowledge Engineering. van Harmelen, F. & Fensel, D. The Knowledge Engineering Review, 10(4):345–360, 1995.
Formal Methods in Knowledge Engineering [pdf]Paper  bibtex   
@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"
}
Downloads: 0