Handbook of knowledge representation - edited by Frank van Harmelen, Vladimir Lifschitz, Bruce Porter (Elsevier, 2008)