A Course in Semantic Technologies for Designing a Proof-of-Concept