IEEE standard upper ontology: a progress report - Pease, A; Niles, I (The Knowledge Engineering Review, 2002)