Handbook of knowledge representation - Van Harmelen, Frank. (Elsevier, 2008)