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