Ortiz, M.2022-03-022022-03-022018https://publica.fraunhofer.de/handle/publica/16411031st International Workshop on Description Logics, DL 2018. Proceedings. Online resource