Cognitively Adequate Complexity of Reasoning in a Description Logic. - Jelle Tjeerd Fokkens; Fredrik Engström (KoDis+CAKR@KR, 2023)