Verifying ontological commitment in knowledge-based systems. - Andrew Waterson; Alun D. Preece (Knowl. Based Syst., 1999)