Abstract: Description logics is one of formal tools for knowledge representation which is studied and developed rapidly in recent years. It has many metrits such as powerful expressive capability and determinant. This paper applies Description logics into the repre

Key words: Description logics（DLs）,Goal consistency,Goal hiberarchy