Knowledge representation Logical ,Philosophical and computational foundations - Sowa John F (2000)