發送短信: Representing Ontologies Using Description Logics‚ Description Graphs and Rules