附注:
xxviii, 1005 p. : 
著者:
Van Harmelen, Frank.
著者:
Lifschitz, Vladimir.
著者:
Porter, Bruce,