Logics for Data and Knowledge Representation
Logics for Data and Knowledge Representation Web Ontology Language (OWL) -- Exercises Feroz Farazi.