Principles and Practice of Semantic Web Reasoning : Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings - François Fages, Sylvain Soliman ((Lecture Notes in Computer Science))