1Dagstuhl Seminar "Nonmonotonic Reasoning, Answer Set Programming and Constraints " Languages for the Semantic Web and Semantic Web Services Current Efforts.