capture the expressive power that is used by large-scale ontologies from practical applicationshave polytime reasoning problems, in particular classification and instance checking