Number Restrictions on Transitive Roles in Description Logics with Nominals

Open in new window