Reasoning web second international summer school 2006, Lisbon, Portugal, September 4-8, 2006 ; tutorial lectures (Springer, 2006)