Semantics Meets Big Data: Formal Models, Practical Issues, Novel Paradigms