See my HAL page https://cv.hal.science/stephane-demri JELIA'23 paper co-authored with Karin Quaas: First Steps Towards Taming Description Logics with Strings
