Andrew Waterson Alun D. Preece Verifying ontological commitment in knowledge-based systems. 45-54 1999 12 Knowl.-Based Syst. 1-2 http://dx.doi.org/10.1016/S0950-7051(99)00007-6 db/journals/kbs/kbs12.html#WatersonP99