[finite-model-theory] Description Logic Workshop 2025: Second Call for Papers