Web reasoning and rule systems : 6th international conference, RR 2012, Vienna, Austria, September 10-12, 2012 : proceedings - Markus Krotzsch, editor ([Springer-Verlag, ], 2012)