Querying expressive DLs