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   

Downloads: 0