Web Reasoning and Rule Systems : 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012, Proceedings - Markus Krötzsch, Umberto Straccia ((Lecture Notes in Computer Science))