Abstract: Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic. As an effective mechanism of knowledge representation, description logic is extensively applied to various fields of computer science. The

Key words: Description logic, Knowledge representation, Semantic Web, Ontology