Stav dette: Knowledge representation: logical, philosophical, and computational foundations