"Using KIV to Specify and Verify Architectures of Knowledge-Based Systems."

Dieter Fensel, Arno Schönegge (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics