https://www.arzinbooks.com/product-5770/an-introduction-to-description-logic