https://www.cambridge.org/core/books/an-introduction-to-description-logic/6D329698AFC2E6C6C5C15801ED9B6D07
Cambridge Core - Programming Languages and Applied Logic - An Introduction to Description Logic
description logicintroduction
https://www.nist.gov/publications/evaluation-description-logic-development-product-models-0
The languages and logical formalisms developed by information scientists and logicians concentrate on the theory of languages and logical theorem proving.
description logicevaluationdevelopmentproduct