1. Semantic WebTechnologiesLecture 4: Knowledge Representations I 08: Resolution (FOL)Dr. Harald Sack Hasso Plattner Institute for IT Systems Engineering University of Potsdam…