Nicola Guarino Massimiliano Carrara Pierdaniele Giaretta Formalizing Ontological Commitment. 560-567 1994 AAAI db/conf/aaai/aaai94-1.html#GuarinoCG94