On Decidability of Expressive Description Logics with Composition of Roles in Number Restrictions

Fabio Grandi

Description Logics are knowledge representation formalisms which have been used in a wide range of application domains. Owing to their appealing expressiveness, we consider in this…