Semantic Knowledge Discovery and Data-Driven Logical Reasoning from Heterogeneous Data Sources