Thomas Macaulay Ferguson: Modeling Intentional States with Subsystems of ALC. Description Logics 2021