Part of the Ontology and Database Systems course is dedicated to the logic-based foundations of conceptual modeling languages, and corresponding automated reasoning techniques (with particular emphasis on UML class diagrams).
Resources on the logic-based foundations of ORM, and corresponding automated reasoning techniques: