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

Fabio Grandi

Browse the full LPAR paper archive.