F. Bry, F. Fages, M. Marchiori, and H. Ohlbach. Principles and Practices of Semantic Web Reasoning, volume 05371 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)