selected publications chapter A Revised Architecture for Semantic Web Reasoning. Lecture Notes in Computer Science. 2005