Reasoning web semantic technologies for intelligent data access ; 9th international summer school 2013, Mannheim, Germany, July 30 - August 2, 2013 ; proceedings (Springer, 2013)