Handbook of knowledge representation - Porter, Bruce 1956-; Lifschitz, Vladimir; Van Harmelen, Frank (Elsevier, 2008)