摘要：A computer system consists of Hardware components that integrate with each other .The purpose of this paper is to create the hardware components of a computer system by formalizing a number of concepts that represent the knowledge of this dolman. Description logic anddefensible logic are used in this paper to achieve our goal.
