Description Logics for Ontologies