Slide 1Logics for Data and Knowledge Representation ClassL (part 1): syntax and semantics Slide 2 Outline Syntax Alphabet Formation rules Semantics Class-valuation…