Formal ontology - Poli, Roberto, 1955-; Simons, Peter M. (Kluwer Academic, 1996)