FranzBaader的教材《DescriptionLogicHandbook》（描述逻辑），主要介绍了描述逻辑的基本理论与方法，最后介绍了在各学科中的应用。