AIFB Themenheft 2014: Semantik in Big Data. [AIFB Jahresbericht 2014. Institut für Angewandte Informatik und Formale Beschreibungsverfahren]