Principles and practice of Semantic Web reasoning third international workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 ; proceedings / - Fages, François.; Soliman, Sylvain. (Lecture notes in computer science,)