Fensel, D., Schoenegge, A., Groenboom, R., Wielinga, B., 1996. Specification and verification of knowledge-based systems.. https://doi.org/10.5445/ir/274996