Knowledge Representation - Arthur B. Markman (Taylor and Francis, 1999)